The Tableau-based Theorem Prover

Bernhard Beckert, Reiner Hhnle, Peter Oel, Martin Sulzmann

Browse the full CADE paper archive.