Jundong Xu, Hao Fei, Meng Luo, Qian Liu, Liangming Pan, William Yang Wang, Preslav Nakov, Mong-Li Lee, Wynne Hsu: Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework. ACL (1) 2025: 3052-3075