A Common View on Strong, Uniform, and Other Notions of Equivalence in Answer-Set Programming.

Stefan Woltran

Browse the full LPNMR paper archive.