Efficient Symbolic Analysis of Programs (1986)

by J H Reif, H R Lewis
Venue:Journal of Computer and System Sciences