Introduction to knowledge base systems - FROST, Richard (McGraw-Hill, 1986)