Nesting of reducible and irreducible loops (1997)

by Paul Havlak
Venue:ACM Trans. Program. Lang. Syst