@inproceedings{DBLP:conf/iclp/0003SW16,
  title = {Computing Diverse Optimal Stable Models},
  author = {Romero, Javier and Schaub, Torsten and Wanko, Philipp},
  booktitle = {{ICLP} (Technical Communications)},
  pages = {3:1--3:14},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  series = {{OASICS}},
  volume = {52},
  year = {2016}
}