%0 Conference Paper %1 conf/fgcs/MartelliR84 %A Martelli, Alberto %A Rossi, Gianfranco %B FGCS %D 1984 %I OHMSHA Ltd. Tokyo and North-Holland %K dblp %P 202-209 %T Efficient Unificatioin with Infinite Terms in Logic Programming. %U http://dblp.uni-trier.de/db/conf/fgcs/fgcs84.html#MartelliR84 %@ 0-444-87673-1

@inproceedings{conf/fgcs/MartelliR84, added-at = {2019-07-31T00:00:00.000+0200}, author = {Martelli, Alberto and Rossi, Gianfranco}, biburl = {https://www.bibsonomy.org/bibtex/20765327d9379e32cee56afb3a554f84c/dblp}, booktitle = {FGCS}, crossref = {conf/fgcs/1984}, interhash = {72f1fb69d0a3687496390f5100b8299c}, intrahash = {0765327d9379e32cee56afb3a554f84c}, isbn = {0-444-87673-1}, keywords = {dblp}, pages = {202-209}, publisher = {OHMSHA Ltd. Tokyo and North-Holland}, timestamp = {2019-08-01T11:36:30.000+0200}, title = {Efficient Unificatioin with Infinite Terms in Logic Programming.}, url = {http://dblp.uni-trier.de/db/conf/fgcs/fgcs84.html#MartelliR84}, year = 1984 }