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