@article{DBLP:journals/ki/GebserKKLOORSSW18, title = {The Potsdam Answer Set Solving Collection 5.0}, 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}, journal = {{KI}}, number = {2-3}, pages = {181--182}, volume = {32}, year = {2018} }