@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}
}