Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report.

Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran

Browse the full LPNMR paper archive.