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