P. F. Patel-Schneider, “Term Subsumption Languages in Knowledge Representation”, AIMag, vol. 11, no. 2, p. 16, Jun. 1990.