Meta-programming in logic third international workshop, Meta 92, Uppsala, Sweden, June 10 - 12, 1992 ; proceedings (Springer, 1992)