Folklore confirmed: reducible flow graphs are exponentially larger.

Larry Carter, Jeanne Ferrante, Clark D. Thomborson

Browse the full POPL paper archive.