@article{PIM_2010_N_S_87_101_a3,
     author = {Mirjana Borisavljevi\'c},
     title = {Maximum {Cuts} in {Extended} {Natural} {Deduction}},
     journal = {Publications de l'Institut Math\'ematique},
     pages = {59 },
     publisher = {mathdoc},
     volume = {_N_S_87},
     number = {101},
     year = {2010},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/PIM_2010_N_S_87_101_a3/}
}