P. Martin, and P. Eklund. 7th International Conference on Conceptual Structures (ICCS'99), 1640, page 315-333. Springer Verlag, Berlin, Berlin, (1999)Solution to the Sisyphus-I problem using WebKB.
B. Groh, and P. Eklund. Proceedings of the 9th International Conference on Conceptual Structures, page 33-46. Department of Computer Science, University Laval, (2001)