@article{DBLP:journals/ki/GebserKKLOORSSW18,
  author = {Gebser, Martin and Kaminski, Roland and Kaufmann, Benjamin and L{\"{u}}hne, Patrick and Obermeier, Philipp and Ostrowski, Max and Romero, Javier and Schaub, Torsten and Schellhorn, Sebastian and Wanko, Philipp},
  title = {The Potsdam Answer Set Solving Collection 5.0},
  journal = {{KI}},
  volume = {32},
  number = {2-3},
  pages = {181--182},
  year = {2018}
}