👤 Christoph Sp?rk

Algorithms for Quantified Cut-Introduction. Introducing quantified cuts in sequent calculus. Christoph Sp?rk