Fuller D., Bocic S., Bertossi L. (1996) Towards efficient partial evaluation in logic programming Revista : New Generation Computing Volumen : 14 Páginas : 2317-259 Tipo de publicación : ISI Abstract