TY - RPRT TI - Derivation Prompting: A Logic-Based Method for Improving Retrieval-Augmented Generation AU - Ignacio Sastre AU - Guillermo Moncecchi AU - Aiala Rosá PY - 2026 DO - 10.1007/978-3-031-80366-6_34 UR - https://arxiv.org/abs/2605.14053 ID - 2605.14053 ER -