TY  - RPRT
TI  - Expressing High-Level Scientific Claims with Formal Semantics
AU  - Cristina-Iulia Bucur
AU  - Tobias Kuhn
AU  - Davide Ceolin
AU  - Jacco van Ossenbruggen
PY  - 2021
DO  - 10.1145/3460210.3493561
UR  - https://arxiv.org/abs/2109.12907
ID  - 2109.12907
ER  -