%0 Journal Article %1 journals/jlp/Eriksson84 %A Eriksson, Lars-Henrik %D 1984 %J J. Log. Program. %K dblp %N 1 %P 3-18 %T Synthesis of a Unification Algorithm in a Logic Programming Calculus. %U http://dblp.uni-trier.de/db/journals/jlp/jlp1.html#Eriksson84 %V 1

@article{journals/jlp/Eriksson84, added-at = {2021-02-17T00:00:00.000+0100}, author = {Eriksson, Lars-Henrik}, biburl = {https://www.bibsonomy.org/bibtex/256e8ee8d4863091e890a869fd0ed0418/dblp}, ee = {https://doi.org/10.1016/0743-1066(84)90020-7}, interhash = {888bee299fde5d63f6e23c38deb856ec}, intrahash = {56e8ee8d4863091e890a869fd0ed0418}, journal = {J. Log. Program.}, keywords = {dblp}, number = 1, pages = {3-18}, timestamp = {2024-04-08T10:49:43.000+0200}, title = {Synthesis of a Unification Algorithm in a Logic Programming Calculus.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp1.html#Eriksson84}, volume = 1, year = 1984 }