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