Lars-Henrik Eriksson. Synthesis of a Unification Algorithm in a Logic Programming Calculus. Journal of Logic and Algebraic Programming, 1(1):3-18, 1984.
@article{Eriksson84,
title = {Synthesis of a Unification Algorithm in a Logic Programming Calculus},
author = {Lars-Henrik Eriksson},
year = {1984},
tags = {logic programming, programming, logic},
researchr = {https://researchr.org/publication/Eriksson84},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Algebraic Programming},
volume = {1},
number = {1},
pages = {3-18},
}