Simple Conceptual Graphs with Atomic Negation and Difference.
M. Leclère, and M. Mugnier. Proceedings of the 14th International Conference on Conceptual Structures (ICCS 2006), volume 4068 of Lecture Notes in Computer Science, page 331-345. Springer, (2006)