Patrick Cousot. Partial Completeness of Abstract Fixpoint Checking. In Berthe Y. Choueiry, Toby Walsh, editors, Abstraction, Reformulation, and Approximation, 4th International Symposium, SARA 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings. Volume 1864 of Lecture Notes in Computer Science, pages 1-25, Springer, 2000. [doi]
Abstract is missing.