Galitsky, B. (2026). From Argumentation to Labeled Logic Program for LLM Verification. Proceedings of the AAAI Symposium Series, 8(1), 411–419. https://doi.org/10.1609/aaaiss.v8i1.42572