Introducing Quantified Cuts in Logic with Equality. - Stefan Hetzl; Alexander Leitsch; Giselle Reis; Janos Tapolczai; Daniel Weller 001 (IJCAR, 2014)