@misc{indiciae3050b8f72d1b,
  title = {\$HD(M\textbackslash{}setminus L)<0.986927\$},
  author = {Carlos Matheus and Carlos Gustavo Moreira},
  year = {2019},
  url = {https://arxiv.org/abs/1708.06258},
  note = {Source identifier: 1708.06258}
}