%0 Book
%A / Manuel Bronstein, Johannes Grabmeier, Volker Weispfenning, editors
%T Symbolic rewriting technique
%U /book/93064131/Symbolic-rewriting-technique/