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