@inproceedings{DBLP:conf/fmcad/Schaub12, title = {Answer Set Programming}, author = {Schaub, Torsten}, booktitle = {{FMCAD}}, pages = {2}, publisher = {{IEEE}}, year = {2012} }