ABSTRACT
T h e c o n tin u o u s c u t e lim in a t io n o p e ra to rs R 0 a n d R 1 e x te n d to th e case o f Q - r u le s w o rk in g w i th s u b , b u t can be d e fin e d o n ly fo r d e r iv a t io n s w h ic h f ro m th e o u ts e t a re ass u m e d to b e e ig e n o r , in th e case o f H a n d J , a re su b d e r iv a t io n s o f a d e r iv a t io n w h ic h is e ig e n . T h e d e f in i t io n o f R 0 th e n h as to be c o m b in e d w i th th a t o f th e , e q u a lly a s c e n d in g , a lg o r ith m p ro d u c in g D # f ro m D in T h e o re m 4 , in o rd e r to s te p w is e c o n s tru c t th e seq u en ts re s u lt in g f ro m th e s u b s t itu t io n o f t fo r y w h ic h com e fro m th e t ra n s fo rm a t io n o f H ko in to H * in th e s itu a t io n ju s t d iscussed fo r e le m e n ta ry r e t r a c in g . In th e case o f v = 3 x w s e v e ra l such s u b s t itu t io n s w i l l h a v e to be p ro to c o lle d s im u lta n e o u s ly i f th e re a re re p e a te d p r in c ip a l occurrences o f v in J .
