@inproceedings{DBLP:conf/lpnmr/DeneckerVBGT09, title = {The Second Answer Set Programming Competition}, author = {Denecker, Marc and Vennekens, Joost and Bond, Stephen and Gebser, Martin and Truszczynski, Miroslaw}, booktitle = {{LPNMR}}, pages = {637--654}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {5753}, year = {2009} }