Introduction to knowledge base systems - Frost, R. A. (Richard A.) (Collins, 1986)