Symbolic program analysis in almost-linear time (1981)

by J Reif, R Tarjan
Venue:SIAM Journal of Computing