Building decision procedures for modal logics from propositional decision procedures -- The case study of modal K(m) (1996)

Cached

Download Links

by Fausto Giunchiglia , Roberto Sebastiani
Citations:95 - 29 self