Transforming normal programs by replacement (1992)

by A Bossi, N Cocco, S Etalle
Venue:In Proceedings 3rd International Workshop on Meta-Programming in Logic, Meta ’92