@article{mcbrideFirstorderUnification2003,
 title = {First-order unification by structural recursion},
 author = {McBride, Conor},
 year = {2003},
 journal = {Journal of Functional Programming},
 volume = {13},
 number = {6},
 pages = {1061--1075},
 doi = {10.1017/S0956796803004957}
}