Graph-Embedded Term Rewrite Systems and Applications (A Preliminary Report)
Origin : Files produced by the author(s)