Term rewriting systems. Pages 1--116 of: Abramsky (1992)

by J W Klop
Venue:eds), Handbook of Logic in Computer Science