@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} }