Introduction to knowledge base systems - Frost, Richard (Collins, 1987)