Strong and Explicit Negation in Non-Monotonic Reasoning and Logic Programming.

José Júlio Alferes Luís Moniz Pereira Teodor C. Przymusinski Strong and Explicit Negation in Non-Monotonic Reasoning and Logic Programming. 143-163 1996 conf/jelia/1996 JELIA db/conf/jelia/jelia96.html#AlferesPP96 http://dx.doi.org/10.1007/3-540-61630-6_10