The Logic System of Concept Graphs with Negation And Its Relationship to Predicate Logic - Dau, Frithjof; Dau, Frithjof (Springer Berlin Heidelberg : Imprint: Springer, 2003)