This is an old revision of the document!
Here is a link to ACM Digital library: http://portal.acm.org
Some predicate abstraction papers:
- Boolean and Cartesian Abstraction for Model Checking C Programs, Thomas Ball, Andreas Podelski, Sriram K. Rajamani. TACAS 2001: 268-283