TY  - JOUR
AU  - Mirjana Borisavljević
TI  - Maximum Cuts in Extended Natural Deduction
JO  - Publications de l'Institut Mathématique
PY  - 2010
SP  - 59 
VL  - _N_S_87
IS  - 101
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PIM_2010_N_S_87_101_a3/
LA  - en
ID  - PIM_2010_N_S_87_101_a3
ER  -