1. Lecture Notes in Computer Science;A. Albarghouthi,2012
2. Albarghouthi, A., McMillan, K.L.: Beautiful interpolants. In: Sharygina, Veith (eds.) [27], pp. 313–329
3. Bagnara, R., Hill, P.M., Zaffanella, E.: The parma polyhedra library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems. CoRR, abs/cs/0612085 (2006)
4. Bagnara, R., Hill, P.M., Zaffanella, E.: Widening operators for powerset domains. STTT 9(3-4), 413–414 (2007)
5. Benoy, F., King, A., Mesnard, F.: Computing Convex Hulls with a Linear Solver. TPLP 5(1-2), 259–271 (2005)