@misc{indiciae6d67b190df33,
  title = {Continuous and monotone machines},
  author = {Michal Konečný and Florian Steinberg and Holger Thies},
  year = {2020},
  url = {https://arxiv.org/abs/2005.01624},
  note = {Source identifier: 2005.01624}
}