@inproceedings{DBLP:conf/sefm/BendikGWC18,
 author = {Jaroslav Bendík and
Elaheh Ghassabani and
Michael W. Whalen and
Ivana Černá},
 booktitle = {{SEFM}},
 pages = {189--204},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 title = {Online Enumeration of All Minimal Inductive Validity Cores},
 volume = {10886},
 year = {2018}
}