T. Joseph and M. Keneth, “Exploring the Synergy of Grammar-Aware Prompt Engineering and Formal Methods for Mitigating Hallucinations in LLMs”, EAJIT, vol. 7, no. 1, pp. 188-201, Aug. 2024.