Implementing term rewrite languages in DACTL (0)

by J R Kennaway
Venue:Theor. Comput. Sci