Vivid logic : knowledge -based reasoning with two kinds of negation - Wagner Gerd (Berlin Springer Verlag, 1994)
Keywords: Knowledge-based reasoning