Jonas Barklund Pierangelo Dell'Acqua Stefania Costantini Gaetano Aurelio Lanzarone Semantical Properties of Encodings in Logic Programming. 288-302 1995 ILPS db/conf/slp/slp95.html#BarklundDCL95