Tableau methods for modal and temporal logics (1999)

by e Gor, R
Venue:In Handbook of Tableau Methods