Xu, Z.; Ke, W.; Wang, P.; Li, G.; Ni, Q.; Liu, J.; Shang, Z.; Zhou, J. Benchmarking and Enhancing Rule Knowledge-Driven Reasoning of Large Language Models. AAAI 2026, 40, 34187-34195.