Deakstadieđáhus: Meta-programming in logic : third international workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings / A. Pettorossi, ed.