@article{GebserLiuNamasivayametal.2007,
  author    = {Martin Gebser and Lengning Liu and Gayathri Namasivayam and Andr{\´e} Neumann and Torsten H. Schaub and Miroslaw Truszczynski},
  title     = {The first answer set programming system competition},
  year      = {2007},
}