%0 Conference Paper %1 conf/ijcai/BlasiusESSNW81 %A Bläsius, Karl-Hans %A Eisinger, Norbert %A Siekmann, Jörg H. %A Smolka, Gert %A Herold, Alexander %A Walther, Christoph %B IJCAI %D 1981 %E Hayes, Patrick J. %I William Kaufmann %K %P 511-518 %T The Markgraf Karl Refutation Procedure. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai81.html#BlasiusESSNW81

@inproceedings{conf/ijcai/BlasiusESSNW81, added-at = {2023-12-12T21:13:12.000+0100}, author = {Bläsius, Karl-Hans and Eisinger, Norbert and Siekmann, Jörg H. and Smolka, Gert and Herold, Alexander and Walther, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/27af0c68617573a8e4d77dcc0902fe824/admin}, booktitle = {IJCAI}, crossref = {conf/ijcai/1981}, editor = {Hayes, Patrick J.}, ee = {http://ijcai.org/Proceedings/81-1/Papers/092.pdf}, interhash = {3ae4696b8aeebbc53dec0b5b1214c1f5}, intrahash = {7af0c68617573a8e4d77dcc0902fe824}, keywords = {}, pages = {511-518}, publisher = {William Kaufmann}, timestamp = {2023-12-12T21:13:12.000+0100}, title = {The Markgraf Karl Refutation Procedure.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai81.html#BlasiusESSNW81}, year = 1981 }