Narad Rampersad Jeffrey Shallit Z. Xu The computational complexity of universality problems for prefixes, suffixes, factors, and subwords of regular languages http://arxiv.org/abs/0907.0159 2009 CoRR abs/0907.0159 db/journals/corr/corr0907.html#abs-0907-0159 informal publication