F. Wolter, and M. Zakharyaschev. In Proceedings of the seventh Conference on Principles of Knowledge Representation and Reasoning, KR2000, page 3--14. (2000)
C. Lutz, F. Wolter, and M. Zakharyaschev. Proceedings of the 15th International Symposium on Temporal Representation and Reasoning (TIME 2008), page 3--14. Budapest, Hungary, IEEE Computer Society, (June 2008)