Semi-analytic tableaux for propositional modal logics of nonmonotonicity (1993)

by Rajeev Gor'e
Venue:Workshop on Theorem Proving with Analytic Tableaux and Related Methods