@misc{indiciaec220e79a06dd,
  title = {Computer-supported Exploration of a Categorical Axiomatization of Modeloids},
  author = {Lucca Tiemens and Dana S. Scott and Christoph Benzmüller and Miroslav Benda},
  year = {2020},
  doi = {10.1007/978-3-030-43520-2\_19},
  url = {https://arxiv.org/abs/1910.12863},
  note = {Source identifier: 1910.12863}
}