@article{DBLP:journals/ki/AngerKLS05,
  author = {Anger, Christian and Konczak, Kathrin and Linke, Thomas and Schaub, Torsten},
  title = {A Glimpse of Answer Set Programming},
  journal = {{KI}},
  volume = {19},
  number = {1},
  pages = {12},
  year = {2005}
}