@inproceedings{DBLP:conf/birthday/GebserKS12, title = {Gearing Up for Effective {ASP} Planning}, author = {Gebser, Martin and Kaufmann, Roland and Schaub, Torsten}, booktitle = {Correct Reasoning}, pages = {296--310}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {7265}, year = {2012} }