Controlled Integrations of the Cut Rule into Connection Tableau Calculi

by R. Letz , K. Mayr , C. Goller
Citations:61 - 3 self