@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}
}