Anca Browne, Edmund M. Clarke, Somesh Jha, David E. Long, Wilfredo R. Marrero. An Improved Algorithm for the Evaluation of Fixpoint Expressions. Theoretical Computer Science, 178(1-2):237-255, 1997. [doi]
@article{BrowneCJLM97, title = {An Improved Algorithm for the Evaluation of Fixpoint Expressions}, author = {Anca Browne and Edmund M. Clarke and Somesh Jha and David E. Long and Wilfredo R. Marrero}, year = {1997}, doi = {10.1016/S0304-3975(96)00228-9}, url = {http://dx.doi.org/10.1016/S0304-3975(96)00228-9}, researchr = {https://researchr.org/publication/BrowneCJLM97}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {178}, number = {1-2}, pages = {237-255}, }