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:97 - 30 self