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