TY  - RPRT
TI  - Synthesis for prefix first-order logic on data words
AU  - Julien Grange
AU  - Mathieu Lehaut
PY  - 2024
UR  - https://arxiv.org/abs/2404.14517
ID  - 2404.14517
ER  -