Steffen Hölldobler Conditional Equational Theories and Complete Sets of Transformations. 85-110 1990 75 Theor. Comput. Sci. 1&2 db/journals/tcs/tcs75.html#Holldobler90