P. Eklund, B. Groh, G. Stumme, and R. Wille. Conceptual Structures: Logical, Linguistic and Computational Issues: 8th International Conference on Conceptual Graphs, ICCS'99, 1867, page 453-467. Springer Verlag, (2000)see Goda project description for details of this collaboration.