%0 Conference Paper %1 conf/ijcai/MartelliM77 %A Martelli, Alberto %A Montanari, Ugo %B IJCAI %D 1977 %E Reddy, Raj %I William Kaufmann %K dblp %P 543 %T Theorem Proving with Structure Sharing and Efficient Unification. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai77.html#MartelliM77

@inproceedings{conf/ijcai/MartelliM77, added-at = {2016-07-19T00:00:00.000+0200}, author = {Martelli, Alberto and Montanari, Ugo}, biburl = {https://www.bibsonomy.org/bibtex/2059470d1472f159e2d2eb2e761651ba9/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/1977}, editor = {Reddy, Raj}, ee = {http://ijcai.org/Proceedings/77-1/Papers/096.pdf}, interhash = {cd8f582a8ac3bd19c43af26fb3778fe5}, intrahash = {059470d1472f159e2d2eb2e761651ba9}, keywords = {dblp}, pages = 543, publisher = {William Kaufmann}, timestamp = {2017-05-20T02:00:24.000+0200}, title = {Theorem Proving with Structure Sharing and Efficient Unification.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai77.html#MartelliM77}, year = 1977 }