Symbolic program analysis in almost linear time (0)

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