Transforming Normal Programs by Replacement (1992)

by A Bossi, N Cocco, S Etalle
Venue:In: A. Pettorossi (Ed.), Proc. 3rd International Workshop on Meta-Programming in Logic (Meta ’92