@inproceedings{DBLP:conf/fsttcs/BendikBCB16,
 author = {Jaroslav Bendík and
Nikola Beneš and
Ivana Černá and
Jiří Barnat},
 booktitle = {{FSTTCS}},
 pages = {50:1--50:13},
 publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
 series = {LIPIcs},
 title = {Tunable Online {MUS/MSS} Enumeration},
 volume = {65},
 year = {2016}
}