Jean-Paul Delahaye V. Thibau The Optimal Model of a Program with Negation. 180-195 1990 conf/jelia/1990 JELIA db/conf/jelia/jelia90.html#DelahayeT90 http://dx.doi.org/10.1007/BFb0018441