Propositional Logic Representations for Documents and Queries: A Large-Scale Evaluation | Publicación