Implementing term rewrite languages in Dactl
2005 ◽
pp. 102-116
◽