Building Decision Procedures for Modal Logics from Propositional Decision Procedures - the case study of modal K (1996)

by F Giunchiglia, R Sebastiani
Venue:In Proc. of the 13th Conference on Automated Deduction, Lecture Notes in Artificial Intelligence