P Schroeder-Heister - … Eighth Annual IEEE Symposium on Logic …, 1993 - ieeexplore.ieee.org
… As the induction measure we use the triple (r, d, Z), where d and I are, as usual, the degree
of the cut-formula and the length of the derivation of a topmost multicut, whereas r is the …