Terminating Minimal Model Generation Procedures for Propositional Modal Logics.

Fabio Papacchini, Renate A. Schmidt

Browse the full CADE paper archive.