Shalini, E., Kanchana, K., Pandey, D. S. K., & Sabitkhanovich, A. A. (2026). Unified Neuro Symbolic Reasoning Algorithms Integrating First Order Logic With Transformers. International Journal of Artificial Intelligence and Machine Learning, 6(4s), 426–430. https://doi.org/10.51483/IJAIML.6.4s.2026.426-430