Tableau calculi for hybrid logics (1999)

by M Tzakova
Venue:Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 1999), volume 1617 of LNAI