@article{GerbserSchaub2006,
  author    = {Martin Gerbser and Torsten Schaub},
  title     = {Characterizing (ASP) inferences by unit propagation},
  year      = {2006},
}