Title: Complex reasoning using a large knowledge base
First published: 1993
Subjects: Expert systems (Computer science), Reasoning
LC classification: QA76.76.E95 V38 1993