Introducing Quantified Cuts in Logic with Equality.

Stefan Hetzl, Alexander Leitsch, Giselle Reis, Janos Tapolczai, Daniel Weller

Browse the full CADE paper archive.