@misc{indiciae7e158c053571,
  title = {Recursive Online Enumeration of All Minimal Unsatisfiable Subsets},
  author = {Jaroslav Bendik and Ivana Cerna and Nikola Benes},
  year = {2018},
  url = {https://arxiv.org/abs/1708.00400},
  note = {Source identifier: 1708.00400}
}