Towards Efficient "Knowledge-Based" Automated Theorem Proving for Non-Standard Logics.

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

Browse the full CADE paper archive.