Meta-programmming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings / - Pettorossi, A. (Springer-Verlag, 1992)