Giorgio Levi Giuseppe Sardu Partial Evaluation of Metaprograms in a "Multiple Worlds" Logic Language. 227-247 1988 6 New Generation Comput. 2&3 db/journals/ngc/ngc6.html#LeviS88