Experiments with discrimination tree indexing and path indexing for term retrieval (1992)

by W McCune
Venue:J. Automated Reasoning