Meta-Level Definition and Compilation of Inference Engines in the Epsilon Logic Programming Environment.

Patrizia Coscia Paola Franceschi Giorgio Levi Giuseppe Sardu Luigia Torre Meta-Level Definition and Compilation of Inference Engines in the Epsilon Logic Programming Environment. 359-373 1988 ICLP/SLP db/conf/iclp/iclp88.html#CosciaFLST88