Equal rights for the cut: computable non-analytic cuts in cut-based proofs - Finger, Marcelo; Gabbay, Dov (Logic Journal of IGPL, 2007)