Free-variable tableaux for propositional modal logics (2001)

by B Beckert, R Goré
Venue:Studia Logica