TY  - RPRT
TI  - Parameterized Synthesis for Fragments of First-Order Logic over Data Words
AU  - Béatrice Bérard
AU  - Benedikt Bollig
AU  - Mathieu Lehaut
AU  - Nathalie Sznajder
PY  - 2019
UR  - https://arxiv.org/abs/1910.14294
ID  - 1910.14294
ER  -