mcbrideFirstorderUnification2003:
  type: article
  title: First-order unification by structural recursion
  author: McBride, Conor
  date: 2003
  page-range: 1061-1075
  serial-number:
    doi: 10.1017/S0956796803004957
  parent:
    type: periodical
    title: Journal of Functional Programming
    issue: 6
    volume: 13