@misc{indiciae1beaf75aea36,
  title = {Solving systems of equations on antichains for the computation of the ninth Dedekind Number},
  author = {Patrick De Causmaecker and Lennart Van Hirtum},
  year = {2024},
  url = {https://arxiv.org/abs/2405.20904},
  note = {Source identifier: 2405.20904}
}