TY - RPRT TI - An Automata Theoretic Characterization of Weighted First-Order Logic AU - Dhruv Nevatia AU - Benjamin Monmege PY - 2023 UR - https://arxiv.org/abs/2307.14707 ID - 2307.14707 ER -