@article{ChHaYi1995,
   author = {Liling Chen and Luddy Harrison and Kwangkeun Yi},
   title = {Efficient computation of fixpoints that arise in complex program analysis},
   journal = {Journal of Programming Languages},
   volume = {3},
   number = {1},
   pages = {31--68},
   year = {1995},
   format = {ps.gz},
   category = {journal program-analysis-tools},
}