Model Elimination Without Contrapositives.

Peter Baumgartner, Ulrich Furbach

Browse the full CADE paper archive.