Joseph, T., and M. Keneth. “Exploring the Synergy of Grammar-Aware Prompt Engineering and Formal Methods for Mitigating Hallucinations in LLMs”. East African Journal of Information Technology, Vol. 7, no. 1, Aug. 2024, pp. 188-01, doi:10.37284/eajit.7.1.2111.