A self-applicable partial evaluator for term rewriting systems (1989)

by A Bondorf
Venue:TAPSOFT’89, Proceedings of the International Joint Conference on Theory and Practice of Software Development, LNCS 352