A Semantic Search Approach by Graph Matching with Negations
and Inferences.
K. Tu, J. Lu, H. Zhu, G. Liu, and Y. Yu. Proceedings of the 11th International Conference on Conceptual Structures (ICCS 2003), volume 2746 of Lecture Notes in Computer Science, page 378-391. Springer, (2003)