Prior Art Search and its Evaluation
Rank-biased precision for measurement of retrieval effectiveness