Non-Iterative Symbolic-Aided Chain-of-Thought for Logical Reasoning. - Phuong Minh Nguyen 001; Tien Huu Dang; Naoya Inoue (CoRR, 2025)