Controlled Integrations of the Cut Rule into Connection Tableau Calculi (1994)

by R Letz, K Mayr, C Goller
Venue:Journal of Automated Reasoning