Galitsky, Boris. “From Argumentation to Labeled Logic Program for LLM Verification”. Proceedings of the AAAI Symposium Series 8, no. 1 (May 18, 2026): 411–419. Accessed May 23, 2026. https://ojs.aaai.org/index.php/AAAI-SS/article/view/42572.