@inproceedings{DBLP:conf/iclp/Gebser07, title = {Advanced Techniques for Answer Set Programming}, author = {Gebser, Martin}, booktitle = {{ICLP}}, pages = {458--459}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {4670}, year = {2007} }