D. McGuinness, R. Fikes, J. Rice, and S. Wilder. Proc. of the Seventh International Conference on Principles of Knowledge, Breckenridgeand Coloradoand United States, (April 2000)
D. McGuinness, R. Fikes, J. Rice, and S. Wilder. In the Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000), page 483--493. Breckenridge, Colorado, USA, (2000)