1. Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application;Andrei,2006
2. Andrei, O. and H. Kirchner, Rewrite Rules and Strategies for Molecular Graphs, Submitted, May 2007
3. Term Rewriting and All That;Baader,1998
4. Balland, E. and P. Brauner, Term-graph rewriting in Tom using relative positions, in: Pre-proceedings of 4th International Workshop on Computing with Terms and Graphs - TERMGRAPH, 2007