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