J. Schmolze and R. J. Brachman, “Second KL-One Workshop”, AIMag, vol. 3, no. 1, p. 15, Mar. 1982.