Partial evaluation of metaprograms in a multiple worlds logic language, New Generation Computing 6 (1988)

by G Levi, G Sardu