@article{article9d2e16b0,
title   = {Equal rights for the cut: computable non-analytic cuts in cut-based proofs},
author = {Finger, Marcelo and Gabbay, Dov},
year = {2007},
doi = {10.1093/jigpal/jzm040},
journal   = {Logic Journal of IGPL}
}