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