"AGG - An Implementation of Algebraic Graph Rewriting."

Michael Löwe, Martin Beyer (1993)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics