TY  - JOUR
AU  - Mirjana Borisavljević
TI  - Normalization as a consequence of cut elimination
JO  - Publications de l'Institut Mathématique
PY  - 2009
SP  - 27 
VL  - _N_S_86
IS  - 100
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.2298/PIM0900027B/
DO  - 10.2298/PIM0900027B
LA  - en
ID  - 10_2298_PIM0900027B
ER  -