Alessandra Di Pierro Maurizio Martelli Catuscia Palamidessi Negation as Instantitation: A New Rule for the Treatment of Negation in Logic Programming. 32-45 1991 ICLP db/conf/iclp/iclp91.html#PierroMP91