| P. Tarau. Program Transformations and WAM-support for the Compilation of De nite Metaprograms. In A. Voronkov, editor, Logic Programming, RCLP Proceedings, number 592 in Lecture Notes in Arti cial Intelligence, pages 462-473, Berlin, Heidelberg, 1992. Springer-Verlag. |