Implementing Term Rewriting by Jungle Evaluation. Informatique th'eorique et (1991)

by B Hoffmann, D Plump
Venue:Applications/Theoretical Informatics and Applications