@article{GebserSchaubTompitsetal.2007,
  author    = {Martin Gebser and Torsten H. Schaub and Hans Tompits and Stefan Woltran},
  title     = {Alternative characterizations for program equivalence under aswer-set semantics : a preliminary report},
  year      = {2007},
}