Dov Harel. A Linear Time Algorithm for Finding Dominators in Flow Graphs and Related Problems. In Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing, 6-8 May 1985, Providence, Rhode Island, USA. pages 185-194, ACM, 1985.
@inproceedings{Harel85, title = {A Linear Time Algorithm for Finding Dominators in Flow Graphs and Related Problems}, author = {Dov Harel}, year = {1985}, tags = {data-flow, graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/Harel85}, cites = {0}, citedby = {0}, pages = {185-194}, booktitle = {Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing, 6-8 May 1985, Providence, Rhode Island, USA}, publisher = {ACM}, }