@ARTICLE {2218,
author={J. Rasga},
doi={10.1016/j.apal.2007.08.001},
journal={Annals of Pure and Applied Logic},
title={Sufficient conditions for cut elimination with complexity analysis},
year={2007},
month={November},
volume={149},
number={1-3},
pages={81-99},
ISSN={0168-0072}
}