TY  - RPRT
TI  - The Complexity of Definability by Open First-Order Formulas
AU  - Carlos Areces
AU  - Miguel Campercholi
AU  - Daniel Penazzi
AU  - Pablo Ventura
PY  - 2019
UR  - https://arxiv.org/abs/1904.04637
ID  - 1904.04637
ER  -