Galitsky, Boris. “From Argumentation to Labeled Logic Program for LLM Verification”. Proceedings of the AAAI Symposium Series, vol. 8, no. 1, May 2026, pp. 411-9, doi:10.1609/aaaiss.v8i1.42572.