@misc{indiciae31029b2afa82,
  title = {Twenty-Five Comparators is Optimal when Sorting Nine Inputs (and Twenty-Nine for Ten)},
  author = {Michael Codish and Luís Cruz-Filipe and Michael Frank and Peter Schneider-Kamp},
  year = {2014},
  doi = {10.1109/ictai.2014.36},
  url = {https://arxiv.org/abs/1405.5754},
  note = {Source identifier: 1405.5754}
}