@inproceedings{DBLP:conf/lpnmr/GebserSTW07, title = {Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report}, author = {Gebser, Martin and Schaub, Torsten and Tompits, Hans and Woltran, Stefan}, booktitle = {{CENT}}, publisher = {CEUR-WS.org}, series = {{CEUR} Workshop Proceedings}, volume = {265}, year = {2007} }