Jonas Barklund Pierangelo Dell'Acqua Stefania Costantini Gaetano Aurelio Lanzarone Semantical Properties of SLD-Resolution with Reflection. 830 1995 ICLP db/conf/iclp/iclp95.html#BarklundDCL95