Title: Term indexing
First published: 1995
Subjects: Expert systems (Computer science), Indexing, Artificial intelligence, Automatic theorem proving