@InProceedings{	  StoberW23ALENEX,
  author	= "Florian Stober and Armin Wei{\ss}",
  title		= "Lower Bounds for Sorting 16, 17, and 18 Elements",
  booktitle	= "{ALENEX} 2023, Proceedings",
  year		= "2023",
  note		= "Accepted, Preprint on arXiv
		  \url{https://doi.org/10.48550/arXiv.2206.05597}"
}