Gaines, B. (1993). A class library implementation of a principled open architecture knowledge representation server with plug-in data types. In Proceedings of IJCAI'93.

Genesereth, M. (1983). An overview of meta-level architecture. In Proceedings of AAAI'83.

Greiner, R., & Lenat, D. (1980). rll**: A representation language language. In** Proceedings of KR'94.

Horrocks, I. (1998). Using an expressive description logic: Fact or fiction?. In Proceedings of KR'98.

Horrocks, I., & Patel-Schneider, P. (1998). DL systems comparison. In Proceedings of of the International Workshop on Description Logics - DL'98.

Lenat, D., & Guha, R. (1990). Building Large Knowledge-Based Systems**. Addison Wesley.** MacGregor, R. (1986). A deductive pattern matcher. In Proceedings of AAAI'86.

Padgham, L., & Lambrix, P. (1994). A framework for part-of hierarchies in terminological logics. In Proceedings of KR'94.

Patel-Schneider, P. (1998). dlp **system description. In** Proceedings of of the International Workshop on Description Logics (DL'98).

Rowley, S., Shrobe, H., & Cassels, R. (1986). Joshua: Uniform access to heterogeneous knowledge structures. In Proc AAAI'86.

Royer, V., & Quantz, J. (1992). Deriving inference rules for **terminological logics. In**
Proceedings of JELIA'92.

Schaerf, A. (1994). Reasoning with individuals in concept languages. Data and Knowledge Engineering, 12**, 141–176.**
Schmidt-Schauss, M. (1989). Subsumption in KL-ONE is undecidable. In Proceedings of KR'89.

Stockmeyer, L. (1974). The Complexity of Decision Problems in Automata Theory and Logic**. Ph.D. thesis, MIT, Cambridge, MA. Project MAC TR 138.**
Vilain, M. (1985). The restricted language architecture of **a hybrid representation system.**
In Proceedings of IJCAI'85.

von Luck, K., Nebel, B., Peltason, C., & Schmiedel, A. (1987). The anatomy of the **back**
system. KIT 41, Technical University of Berlin, Berlin, Germany.

Wright, J., Weixelbaum, E., Vesonder, G., Brown, K., Palmer, S., Berman, J., & Moore, H.

(1993). A knowledge-based configurator that supports sales, engineering, and manufacturing at AT&T network systems. AI Magazine, 14**, 69–80.**