DBLP Record 'conf/ijcai/BlasiusESSNW81'

BibTeX

@inproceedings{DBLP:conf/ijcai/BlasiusESSNW81,
  author    = {Karl-Hans Bl{\"a}sius and
               Norbert Eisinger and
               J{\"o}rg H. Siekmann and
               Gert Smolka and
               Alexander Herold and
               Christoph Walther},
  title     = {The Markgraf Karl Refutation Procedure},
  booktitle = {IJCAI},
  year      = {1981},
  pages     = {511-518},
  crossref  = {DBLP:conf/ijcai/1981},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ijcai/1981,
  editor    = {Patrick J. Hayes},
  title     = {Proceedings of the 7th International Joint Conference on
               Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada,
               August 1981},
  booktitle = {IJCIA},
  publisher = {William Kaufmann},
  year      = {1981},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}