The liberalized δ-rule in free variable semantic tableaux (1994)

by R Hähnle, P Schmitt
Venue:Journal of Automated Reasoning