A New Method for Testing Decision Procedures in Modal LogicsOpen Website

Fausto Giunchiglia, Marco Roveri, Roberto Sebastiani

1997 (modified: 27 Jan 2025)CADE 1997Readers: Everyone
0 Replies