Knowledge Processing and Information Systems
Characterizing ASP Inferences by Unit Propagation

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