TY - RPRT TI - Uniform Definability and Undecidability in Classes of Structures AU - Hector Pasten AU - Thanases Pheidas AU - Xavier Vidaux PY - 2010 UR - https://arxiv.org/abs/1012.0960 ID - 1012.0960 ER -