Shuvendu K. Lahiri, Randal E. Bryant. Constructing Quantified Invariants via Predicate Abstraction. In Bernhard Steffen, Giorgio Levi, editors, Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings. Volume 2937 of Lecture Notes in Computer Science, pages 267-281, Springer, 2004. [doi]
Abstract is missing.