F. Giunchiglia

发表

Sat vs. Translation Based Decision Procedures for Modal Logics: a Comparative Evaluation Istituto per La Ricerca Scientifica E Tecnologica Sat vs. Translation Based Decision Procedures for Modal Logics: a Comparative Evaluation

Fausto Giunchiglia, Armando Tacchella, Enrico Giunchiglia, 1998 .