The Markgraf Karl Refutation Procedure (MKRP).

Norbert Eisinger, Hans Jrgen Ohlbach

Browse the full CADE paper archive.