@inproceedings{DBLP:conf/lpnmr/GebserJKOSSS13, author = {Gebser, Martin and Jost, Holger and Kaminski, Roland and Obermeier, Philipp and Sabuncu, Orkunt and Schaub, Torsten and Schneider, Marius}, title = {Ricochet Robots: {A} Transverse {ASP} Benchmark}, booktitle = {{LPNMR}}, series = {Lecture Notes in Computer Science}, volume = {8148}, pages = {348--360}, publisher = {Springer}, year = {2013} }