"A decidable class of (nominal) omega-regular languages over an infinite ..."

Vincenzo Ciancia, Matteo Sammartino (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics