%0 Journal Article %1 journals/toplas/MartelliM82 %A Martelli, Alberto %A Montanari, Ugo %D 1982 %J ACM Trans. Program. Lang. Syst. %K dblp %N 2 %P 258-282 %T An Efficient Unification Algorithm. %U http://dblp.uni-trier.de/db/journals/toplas/toplas4.html#MartelliM82 %V 4

@article{journals/toplas/MartelliM82, added-at = {2018-11-14T00:00:00.000+0100}, author = {Martelli, Alberto and Montanari, Ugo}, biburl = {https://www.bibsonomy.org/bibtex/21e5e2629bd0280c43b16f6e4b0487a96/dblp}, ee = {https://www.wikidata.org/entity/Q56092428}, interhash = {556d694bb122dcdac4a34f462cd54f9c}, intrahash = {1e5e2629bd0280c43b16f6e4b0487a96}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {dblp}, number = 2, pages = {258-282}, timestamp = {2018-11-15T15:39:38.000+0100}, title = {An Efficient Unification Algorithm.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas4.html#MartelliM82}, volume = 4, year = 1982 }