@article{KonczakLinkeSchaub2004,
  author    = {Kathrin Konczak and Thomas Linke and Torsten H. Schaub},
  title     = {Graphs and cologings for answer set programming : adridged report},
  year      = {2004},
}