TY - JOUR AU - S. Yu. Maslov AU - S. A. Norgela TI - On cut-type rules for calculuses of general type JO - Zapiski Nauchnykh Seminarov POMI PY - 1974 SP - 63 EP - 76 VL - 40 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/ZNSL_1974_40_a8/ LA - ru ID - ZNSL_1974_40_a8 ER -