More Evaluation of Decision Procedures for Modal Logics.

Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella

Browse the full KR paper archive.