John H. Reif, Robert Endre Tarjan. Symbolic Program Analysis in Almost-Linear Time. SIAM Journal on Computing, 11(1):81-93, 1982.
@article{ReifT82,
title = {Symbolic Program Analysis in Almost-Linear Time},
author = {John H. Reif and Robert Endre Tarjan},
year = {1982},
tags = {program analysis, analysis},
researchr = {https://researchr.org/publication/ReifT82},
cites = {0},
citedby = {0},
journal = {SIAM Journal on Computing},
volume = {11},
number = {1},
pages = {81-93},
}