Implementing term rewriting by jungle evaluation

Berthold Hoffmann, Detlef Plump. Implementing term rewriting by jungle evaluation. ITA, 25:445-472, 1991.

No reviews for this publication, yet.