Your search returned the following 2 documents:

2. Generic System Support for Deductive Program Development
   Abdelwaheb Ayari and David A. Basin
   In: Second International Workshop, TACAS'96: Tools and Algorithms for the Construction and Analysis of Systems, Passau, Germany, March, 1996, 313-328
   
1. Boolean and Cartesian Abstraction for Model Checking C Programs
   Thomas Ball, Andreas Podelski, and Sriram K. Rajamani
   In: Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-2001), Genova, Italy, April 2-6, 2001, 2001, 268-283