Symbolic rewriting techniques - Bronstein, Manuel; Grabmeier, Johannes; Weispfenning, Volker (Progress in computer science and applied logic, 1998)