B. Galitsky, “From Argumentation to Labeled Logic Program for LLM Verification”, AAAI-SS, vol. 8, no. 1, pp. 411–419, May 2026.