Experiments with Discrimination-Tree Indexing and Path Indexing for Term Retrieval.

William McCune Experiments with Discrimination-Tree Indexing and Path Indexing for Term Retrieval. 147-167 1992 9 J. Autom. Reasoning 2 db/journals/jar/jar9.html#McCune92a