Free Variable Tableaux for Propositional Modal Logics (1997)

by Bernhard Beckert, Rajeev Goré
Venue:TABLEAUX-97, LNCS 1227