%0 Conference Paper %1 conf/flfp/LassezMM86 %A Lassez, Jean-Louis %A Maher, Michael J. %A Marriott, Kim %B Foundations of Logic and Functional Programming %D 1986 %E Boscarol, Mauro %E Aiello, Luigia Carlucci %E Levi, Giorgio %I Springer %K dblp %P 67-113 %T Unification Revisited. %U http://dblp.uni-trier.de/db/conf/flfp/flfp1986.html#LassezMM86 %V 306 %@ 3-540-19129-1

@inproceedings{conf/flfp/LassezMM86, added-at = {2017-05-19T00:00:00.000+0200}, author = {Lassez, Jean-Louis and Maher, Michael J. and Marriott, Kim}, biburl = {https://www.bibsonomy.org/bibtex/26f341ef13d5f47fab470a34ec06b33ed/dblp}, booktitle = {Foundations of Logic and Functional Programming}, crossref = {conf/flfp/1986}, editor = {Boscarol, Mauro and Aiello, Luigia Carlucci and Levi, Giorgio}, ee = {https://doi.org/10.1007/3-540-19129-1_4}, interhash = {a238068c742b79659fd3ee035d93cb68}, intrahash = {6f341ef13d5f47fab470a34ec06b33ed}, isbn = {3-540-19129-1}, keywords = {dblp}, pages = {67-113}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:25:31.000+0200}, title = {Unification Revisited.}, url = {http://dblp.uni-trier.de/db/conf/flfp/flfp1986.html#LassezMM86}, volume = 306, year = 1986 }