First Order Modal Tableaux (1988)

by M Fitting
Venue:Journal of Automated Reasoning