TY  - RPRT
TI  - Cartagena Logic
AU  - Siiri Kivimäki
AU  - Jouko Väänänen
AU  - Andrés Villaveces
PY  - 2024
UR  - https://arxiv.org/abs/2108.13495
ID  - 2108.13495
ER  -