A Basis for a Multilevel Metalogic Programming Language (1994)

by J Barklund, K Boberg, P Dell’Acqua
Venue:Logic Program Synthesis and Transformation — Meta Programming in Logic, LNCS 883