DOI,IST REx ID,Title of publication
10.1007/3-540-61422-2_117,11804,Faster algorithms for the nonemptiness of streett automata and for communication protocol pruning