%0 Conference Paper %1 conf/aaai/Stickel82 %A Stickel, Mark E. %B AAAI %D 1982 %E Waltz, David L. %I AAAI Press %K dblp %P 229-233 %T A Nonclausal Connection-Graph Resolution Theorem-Proving Program. %U http://dblp.uni-trier.de/db/conf/aaai/aaai82.html#Stickel82 %@ 0-262-51051-0

@inproceedings{conf/aaai/Stickel82, added-at = {2023-09-04T00:00:00.000+0200}, author = {Stickel, Mark E.}, biburl = {https://www.bibsonomy.org/bibtex/2c642567198c326b8c9d81b598731ab98/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/1982}, editor = {Waltz, David L.}, ee = {http://www.aaai.org/Library/AAAI/1982/aaai82-055.php}, interhash = {6864cb93a2775be20b8d96ce05bbfbc5}, intrahash = {c642567198c326b8c9d81b598731ab98}, isbn = {0-262-51051-0}, keywords = {dblp}, pages = {229-233}, publisher = {AAAI Press}, timestamp = {2024-04-10T14:52:55.000+0200}, title = {A Nonclausal Connection-Graph Resolution Theorem-Proving Program.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai82.html#Stickel82}, year = 1982 }