Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Philipp Obermeier, Max Ostrowski, Javier Romero 0003, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko. The Potsdam Answer Set Solving Collection 5.0. KI, 32(2-3):181-182, 2018. [doi]