Reuter, Klaus Removing critical pairs Klaus Reuter - Darmstadt Tecnische Hochschule Darmstadt 1989 - 11 p fig 27 cm - Preprint 1241 . Contine bibliografie