Term rewriting systems. In Abramsky et al (1993)

by J W Klop
Venue:160 BIBLIOGRAPHY [53] J.B. Kruskal. Well-quasi-ordering, the