The Markgraf Karl Refutation Procedure.

Karl-Hans Blsius, Norbert Eisinger, Jrg H. Siekmann, Gert Smolka, Alexander Herold, Christoph Walther

Browse the full IJCAI paper archive.