Reihe Lecture Notes in Artificial IntelligenceGerd Wagner × Vivid LogicKnowledge-Based Reasoning with Two Kinds of NegationGerd WagnerSpringer BerlineBook2005 Vivid LogicKnowledge-Based Reasoning with Two Kinds of NegationGerd WagnerSpringer BerlinSoftcover1994