12th International Conference on Rewriting Techniques and Applications (RTA 2001)

Aart Middeldorp (ed.)
special issue, Information and Computation 183(2), pp. 139 – 275, 2003