@misc{indiciaef4fc10d34e19,
  title = {Fully Automatic, Verified Classification of all Frankl-Complete (FC(6)) Set Families},
  author = {Filip Marić and Bojan Vučković and Miodrag Živković},
  year = {2019},
  url = {https://arxiv.org/abs/1902.08765},
  note = {Source identifier: 1902.08765}
}