TY  - JOUR
AU  - Borisavljević, Mirjana
TI  - Minimum segments in sequent derivations.
JO  - Publications de l 'Institut Mathématique. Nouvelle Série
PY  - 2003
SP  - 5
VL  - 74(88)
PB  - mathdoc
UR  - https://geodesic-test.mathdoc.fr/articles/10.2298/PIM0374005B/
DO  - 10.2298/PIM0374005B
LA  - en
ID  - 10_2298_PIM0374005B
ER  -