F. Liang, W. Zeng, R. Zhao, and X. Zhao, “NeSTR: A Neuro-Symbolic Abductive Framework for Temporal Reasoning in Large Language Models”, AAAI, vol. 40, no. 38, pp. 31907–31915, Mar. 2026.