@inproceedings{DBLP:conf/atva/BendikCB18,
 author = {Jaroslav Bendík and
Ivana Černá and
Nikola Beneš},
 booktitle = {{ATVA}},
 pages = {143--159},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 title = {Recursive Online Enumeration of All Minimal Unsatisfiable Subsets},
 volume = {11138},
 year = {2018}
}