TY  - RPRT
TI  - When Are Prime Formulae Characteristic?
AU  - Luca Aceto
AU  - Dario Della Monica
AU  - Ignacio Fábregas
AU  - Anna Ingólfsdóttir
PY  - 2024
DO  - 10.1016/j.tcs.2018.12.004
UR  - https://arxiv.org/abs/2402.00970
ID  - 2402.00970
ER  -