@inproceedings{TEMP:conf/nmr/AngerGS06,
  author = {Anger, Christian and Gebser, Martin and Schaub, Torsten},
  title = {Approaching the Core of Unfounded Set},
  booktitle = {{NMR}},
  pages = {58--66},
  year = {2006}
}