Tableau methods for modal and temporal logics (1999)

by Rajeev Goré
Venue:In Handbook of Tableau Methods