Compositional SCC Analysis for Language Emptiness Chao WangRoderick BloemFabio Somenzi OriginalPaper Pages: 5 - 36
An Algorithm for Strongly Connected Component Analysis in n log n Symbolic Steps Roderick BloemHarold N. GabowFabio Somenzi OriginalPaper Pages: 37 - 56