Vladimir Lifschitz, Patrick Lühne, Torsten Schaub. Towards Verifying Logic Programs in the Input Language of clingo. In Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner, editors, Fields of Logic and Computation III - Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday. Volume 12180 of Lecture Notes in Computer Science, pages 190-209, Springer, 2020. [doi]
Abstract is missing.