Fibring semantic tableaux. In Automated reasoning with analytic tableaux and related methods (1998)

by B Beckert, D Gabbay
Venue:of Lecture Notes in Computer Science