Alberto Pettorossi Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, Proceedings META Lecture Notes in Computer Science 649 Springer 1992 3-540-56282-6 db/conf/meta/meta92.html