@misc{indiciae9de505608913,
  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},
  doi = {10.1145/3460210.3493561},
  url = {https://arxiv.org/abs/2109.12907},
  note = {Source identifier: 2109.12907}
}