Symbolic Program Analysis in Almost-linear Time (1981)

by H Reif, R Tarjan
Venue:Journal of Computing