@inproceedings{DBLP:conf/foiks/GebserSTW08, title = {Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets}, author = {Gebser, Martin and Schaub, Torsten and Tompits, Hans and Woltran, Stefan}, booktitle = {FoIKS}, pages = {24--41}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {4932}, year = {2008} }