"Matchbox: A Tool for Match-Bounded String Rewriting."

Johannes Waldmann (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics