@article{GebserKaminskiKaufmannetal.2018,
  author    = {Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Patrick L{\"u}hne and Philipp Obermeier and Max Ostrowski and Javier Romero Davila and Torsten H. Schaub and Sebastian Schellhorn and Philipp Wanko},
  title     = {The Potsdam Answer Set Solving Collection 5.0},
  journal   = {K{\"u}nstliche Intelligenz},
  volume    = {32},
  number    = {2-3},
  pages     = {181 -- 182},
  doi       = {10.1007/s13218-018-0528-x},
  year      = {2018},
}