A Formal Approach to Effectiveness Metrics for Information Access: Retrieval, Filtering, and Clustering | Publicación