P.H.: The liberalized δ-rule in free variable semantic tableaux (1994)

by R Hähnle, Schmitt
Venue:J. Autom. Reasoning