Recognizing certain repetitions and reversals within stringsZvi GalilJoel Seiferas1976FOCS 1976Conference paper
Rational algebraic theories and fixed-point solutionsJ.B. WrightJ.W. Thatcheret al.1976FOCS 1976Conference paper