1. H. Andréka, J. van Benthem, and I. Németi. Modal languages and bounded fragments of predicate logic. J. of Philosophical Logic, 27(3):217–274, 1998.
2. F. Baader, R. Molitor, and S. Tobies. The Guarded Fragment of Conceptual Graphs. LTCS-Report 98–10, available at
http://www-lti.informatik.rwth-aachen.de/Forschung/Papers.html
.
3. F. Baader, R. Molitor, and S. Tobies. On the Relationship between Descripion Logics and Conceptual Graphs. LTCS-Report 98–11, available at
http://www-lti.informatik.rwth-aachen.de/Forschung/Papers.html
.
4. E. Börger, E. Grädel, and Y. Gurevich. The Classical Decision Problem. Perspectives in Mathematical Logic. Springer, 1997.
5. M. Chein and M. L. Mugnier. Conceptual graphs: fundamental notions. Revue d’Intelligence Artificielle, 6(4):365–406, 1992.