A.  Brogi, Renso, C., and Turini, F., ?Amalgamating Language and Meta-language for Composing Logic Programs?, in GULP-PRODE (2), 1994, pp. 408-422.