Program Transformations and WAM-support for the Compilation of Definite Metaprograms (1992)

by P Tarau
Venue:In Russian Conference on Logic Programming, A. Voronkov, Ed. Number 592 in Lecture Notes in Artificial Intelligence