Term rewriting and all that - Baader, Franz 1959-; Nipkow, Tobias 1958- (Cambridge Univ. Press, 1998)
Keywords: Herschrijfregels; Programmatuurtechniek; Rewriting systems (Computer science); Termersetzungssystem