Describes an index pruning algorithm based on the definition of (k, epsilon*r)good scoring function. Interesting, particularly useful the definitions of metrics for evaluating the quality of pruning