@article{expressinghighlevelscientificclaimswith,
  title = {Expressing High-Level Scientific Claims with Formal Semantics},
  author = {Cristina-Iulia Bucur and Tobias Kuhn and Davide Ceolin and Jacco van Ossenbruggen},
  year = {2021},
  eprint = {2109.12907},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2109.12907v3},
}