The logic system of concept graphs with negation and its relationship to predicate logic - Dau, Frithjof (Springer, 2003)
Includes bibliographical references and index