Controlled Integrations of the Cut Rule into Connection Tableau Calculi

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