@article{AngerGebserSchaub2006,
  author    = {Christian Anger and Martin Gebser and Torsten H. Schaub},
  title     = {Approaching the core of unfounded sets},
  url       = {http://www.cs.uni-potsdam.de/wv/pdfformat/angesc06a.pdf},
  year      = {2006},
}