Knowledge based computer systems - Ramani, Srinivasan (Springer, 1990)