DOI,IST REx ID,Title of publication
10.1007/11817963_5,4406,Antichains: A new algorithm for checking universality of finite automata