A New Method for Testing Decision Procedures in Modal Logics.

Fausto Giunchiglia, Marco Roveri, Roberto Sebastiani

Browse the full CADE paper archive.