Galitsky, B. From Argumentation to Labeled Logic Program for LLM Verification. AAAI-SS 2026, 8, 411-419.