The following publications are possibly variants of this publication:
- Building Decision Procedures for Modal Logics from Propositional Decision Procedures: The Case Study of Modal K(m)Fausto Giunchiglia, Roberto Sebastiani. iandc, 162(1-2):158-178, 2000.
- A New Method for Testing Decision Procedures in Modal LogicsFausto Giunchiglia, Marco Roveri, Roberto Sebastiani. cade 1997: 264-267
- More Evaluation of Decision Procedures for Modal LogicsEnrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella. kr 1998: 626-635
- SAT-Based Decision Procedures for Classical Modal LogicsEnrico Giunchiglia, Armando Tacchella, Fausto Giunchiglia. JAR, 28(2):143-171, 2002.
- A New Method for Testing Decision Procedures in Modal and Terminological LogicsFausto Giunchiglia, Marco Roveri, Roberto Sebastiani. dlog 1996: 119-123
- SAT-Based Decision Procedures for Normal Modal Logics: A Theoretical FrameworkRoberto Sebastiani, Adolfo Villafiorita. aimsa 1998: 377-388 [doi]
- SAT vs. translation based decision procedures for modal logics: a comparative evaluationEnrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella. jancl, 10(2):145-172, 2000.