@article{BorchertAngerSchaubetal.2004,
  author    = {P. Borchert and Christian Anger and Torsten H. Schaub and M. Truszczynski},
  title     = {Towards systematic benchmarking in answer set programming : the dagstuhl initiative},
  year      = {2004},
}