Vladimir Lifschitz, Patrick Lühne, Torsten Schaub. Verifying Strong Equivalence of Programs in the Input Language of gringo. In Marcello Balduccini, Yuliya Lierler, Stefan Woltran, editors, Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings. Volume 11481 of Lecture Notes in Computer Science, pages 270-283, Springer, 2019. [doi]
Abstract is missing.