Mirjana Borisavljevic A Connection Between Cut Elimination and Normalization. 113-148 2006 45 Arch. Math. Log. 2 http://dx.doi.org/10.1007/s00153-005-0295-x db/journals/aml/aml45.html#Borisavljevic06