B. Abdallah, and S. Leue. Formal Description Techniques X, Proceedings of the Tenth International Conference on Formal Description Techniques FORTE/PSTV'97, Osaka, Japan, Chapman & Hall, (November 1997)
J. Allen. Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, page 3--14. San Mateo, CA, USA, Morgan Kaufmann Publishers, (April 1991)