Dominance analysis of irreducible CFGs by reduction. - Tetsuo Saitou; Mitsugu Suzuki; Tan Watanabe (ACM SIGPLAN Notices, 2005)