@inproceedings{DBLP:journals/corr/abs-2005-06659,
  title = "The Extended Theory of Trees and Algebraic (Co)datatypes",
  author = "Fabian Zaiser and C.{-}H. Luke Ong",
  year = "2020",
  booktitle = "Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis, VPT/HCVS@ETAPS 2020, Dublin, Ireland, 25-26th April 2020",
  editor = "Laurent Fribourg and Matthias Heizmann",
  pages = "167--196",
  series = "{EPTCS}",
  url = "https://doi.org/10.4204/EPTCS.320.14",
  volume = "320",
  doi = "10.4204/EPTCS.320.14",
}
@article{DBLP:journals/orl/HougardyZZ20,
  title = "The approximation ratio of the 2-Opt Heuristic for the metric Traveling Salesman Problem",
  author = "Stefan Hougardy and Fabian Zaiser and Xianghui Zhong",
  year = "2020",
  journal = "Oper. Res. Lett.",
  number = "4",
  pages = "401--404",
  url = "https://doi.org/10.1016/j.orl.2020.05.007",
  volume = "48",
  doi = "10.1016/j.orl.2020.05.007",
}