Article,

Term-graph Rewriting in Tom Using Relative Positions.

, and .
Electron. Notes Theor. Comput. Sci., 203 (1): 3-17 (2008)

Meta data

Tags

    Users

    Comments and Reviews