Synthesis of a unification algorithm in a logic programming calculus (1984)

by L-H Eriksson
Venue:Journal of Logic Programming