@inproceedings{TEMP:conf/lash/GebserS06,
  author = {Gebser, M. and Schaub, T.},
  title = {Characterizing {ASP} Inferences by Unit Propagation},
  pages = {41--56},
  year = {2006},
  booktitle = {{LASH}}
}