`Classical' Negation in Nonmonotonic Reasoning and Logic Programming.

José Júlio Alferes Luís Moniz Pereira Teodor C. Przymusinski `Classical' Negation in Nonmonotonic Reasoning and Logic Programming. 107-142 1998 20 J. Autom. Reasoning 1 db/journals/jar/jar20.html#AlferesPP98