Stein, L. A. Science and Engineering in Knowledge Representation and Reasoning. AIMag 1996, 17, 77.