CITATION STYLE
Rydeheard, D. E., & Burstall, R. M. (1986). A categorical unification algorithm. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 240 LNCS, pp. 493–505). Springer Verlag. https://doi.org/10.1007/3-540-17162-2_139
Mendeley helps you to discover research relevant for your work.