"From primal infon logic with individual variables to datalog" (2012) Bjørner, N.; De Caso, G.; Gurevich, Y. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7265:72-86

"Automated abstractions for contract validation" (2012) De Caso, G.; Braberman, V.; Garbervetsky, D.; Uchitel, S. IEEE Transactions on Software Engineering. 38(1):141-162

"Abstractions for validation in action" (2012) De Caso, G.; Braberman, V.; Garbervetsky, D.; Uchitel, S. 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012. 7320 LNCS:192-218