A Complete Rewriting System for a Monoid of Tree Transformation Classes Zoltán Fülöp Sándor Vágvölgyi 195-212 Inf. Comput. June 1990 86 2 db/journals/iandc/iandc86.html#FulopV90