Geatti, L.; Gianola, A.; Gigante, N. First-Order Automata. AAAI 2025, 39, 14940-14948.