Experiments with Discrimination-Tree Indexing and Path Indexing for Term Retrieval (1990)

Cached

Download Links

by William McCune
Venue:JOURNAL OF AUTOMATED REASONING
Citations:43 - 0 self