TY  - RPRT
TI  - A decidable class of (nominal) omega-regular languages over an infinite alphabet
AU  - Vincenzo Ciancia
AU  - Matteo Sammartino
PY  - 2013
UR  - https://arxiv.org/abs/1310.3945
ID  - 1310.3945
ER  -