DMCA

Free Variable Tableaux for Propositional Modal Logics (1997)

by Bernhard Beckert , Rajeev Goré
Venue:TABLEAUX-97, LNCS 1227
Citations:47 - 5 self