@article{P107.290,
author={De Sutter, Bjorn and Van Put, Ludo and De Bosschere, Koen},
title={A practical interprocedural dominance algorithm},
journal={ACM Transactions on Programming Languages and Systems},
year={2007},
month={8},
volume={29},
number={4},
}