@article{Linke2001,
  author    = {Thomas Linke},
  title     = {Graph theoretical characterization and computation of answer sets},
  year      = {2001},
}