Controlled integration of the cut rule into connection tableau calculi (1994)

by R Letz, C Goller, K Mayr
Venue:J. Automated Reasoning