Meta-Level Definition and Compilation of Inference Engines in the Epsilon Logic Programming Environment. - Patrizia Coscia; Paola Franceschi; Giorgio Levi; Giuseppe Sardu; Luigia Torre (ICLP/SLP, 1988)