@Article{ChHaYi95,
  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},
  year =	 1995,
  pages =	 "31-68",
  volume = 	 3,
  number =	 1
}