A Basis for a Multi-Level Meta-Logic Programming Language. - Jonas Barklund; Katrin Boberg; Pierangelo Dell'Acqua (META, 1994)