The KRIPKE Automated Theorem Proving System.

Paul B. Thistlewaite, Michael A. McRobbie, Robert K. Meyer

Browse the full CADE paper archive.