Ruiz C, Minker J.  1996.  Semantics of knowledge-based systems with multiple forms of negation.