E. Shalini, K. Kanchana, D. S. K. Pandey, and A. A. Sabitkhanovich, “Unified Neuro Symbolic Reasoning Algorithms Integrating First Order Logic With Transformers”, IJAIML, vol. 6, no. 4s, pp. 426–430, Jun. 2026.