Verifying Strong Equivalence of Programs in the Input Language of gringo.

Vladimir Lifschitz, Patrick Lhne, Torsten Schaub

Browse the full LPNMR paper archive.