Y. Liang, S. Ke, J. Zhang, X. Yi, and Y. Zheng. Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence Organization, (July 2018)
F. Wolter, and M. Zakharyaschev. In Proceedings of the seventh Conference on Principles of Knowledge Representation and Reasoning, KR2000, page 3--14. (2000)