Klop: Term rewriting systems (1992)

by J W
Venue:Handbook of Logic in Computer Science