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