First order modal tableaux (1988)

by M Fitting
Venue:Journal of Automated Reasoning