Shalini, E., et al. “Unified Neuro Symbolic Reasoning Algorithms Integrating First Order Logic With Transformers”. International Journal of Artificial Intelligence and Machine Learning, vol. 6, no. 4s, June 2026, pp. 426-30, https://www.svedbergopen.com/index.php/ijaiml/article/view/469.