An improved algorithm for the evaluation of fixpoint expressions (1997)

by A Browne, E M Clarke, S Jha, D E Long, W Marrero
Venue:TCS