TY  - RPRT
TI  - First-Order Quantification over Automata
AU  - Bernard Boigelot
AU  - Pascal Fontaine
AU  - Baptiste Vergain
PY  - 2023
UR  - https://arxiv.org/abs/2306.04210
ID  - 2306.04210
ER  -