Shalini, E.; Kanchana, K.; Pandey, D. S. K.; Sabitkhanovich, A. A. Unified Neuro Symbolic Reasoning Algorithms Integrating First Order Logic With Transformers. IJAIML 2026, 6, 426-430.