%0 Conference Paper %1 conf/ijcai/GiunchigliaW89 %A Giunchiglia, Fausto %A Walsh, Toby %B IJCAI %D 1989 %E Sridharan, N. S. %I Morgan Kaufmann %K dblp %P 372-377 %T Abstract Theorem Proving. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai89.html#GiunchigliaW89 %@ 1-55860-094-9

@inproceedings{conf/ijcai/GiunchigliaW89, added-at = {2019-08-20T00:00:00.000+0200}, author = {Giunchiglia, Fausto and Walsh, Toby}, biburl = {https://www.bibsonomy.org/bibtex/2d69bd893498110853e31cfd896f6ef38/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/1989}, editor = {Sridharan, N. S.}, ee = {http://ijcai.org/Proceedings/89-1/Papers/059.pdf}, interhash = {ac5010e0c1670c59790063f938351c9d}, intrahash = {d69bd893498110853e31cfd896f6ef38}, isbn = {1-55860-094-9}, keywords = {dblp}, pages = {372-377}, publisher = {Morgan Kaufmann}, timestamp = {2019-08-21T11:56:11.000+0200}, title = {Abstract Theorem Proving.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai89.html#GiunchigliaW89}, year = 1989 }