Raju Halder, Agostino Cortesi. Abstract Interpretation for sound approximation of database query languages. In Proceedings of the 7th International Conference on Informatics and Systems (INFOS 2010) , Cairo, Egypt, March 28 - 30, 2010. IEEE Press, 2010. [doi]