@inproceedings{DBLP:conf/birthday/GebserKOS14, title = {Ricochet Robots Reloaded: {A} Case-Study in Multi-shot {ASP} Solving}, author = {Gebser, Martin and Kaminski, Roland and Obermeier, Philipp and Schaub, Torsten}, booktitle = {Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation}, pages = {17--32}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {9060}, year = {2015} }