Douglas B Lenat,R V Guha Building large knowledge based systems:representation and inference in the Cye project - - Addison-Wesley Publishing 1990 - 372 ISBN: 0-201-51752-3 Dewey Class. No.: 004.891