The following publications are possibly variants of this publication:
- Operational and Abstract Semantics of a Query Language for Semi-Structured InformationAgostino Cortesi, Agostino Dovier, Elisa Quintarelli, Letizia Tanca. deductive 1998: 127-140
- Operational and abstract semantics of the query language G-LogAgostino Cortesi, Agostino Dovier, Elisa Quintarelli, Letizia Tanca. TCS, 275(1-2):521-560, 2002. [doi]
- An Abstract Interpretation Framework for Structured Query LanguagesAgostino Cortesi, Raju Halder. In Proceedings of the 21st Nordic Workshop on Programming Theory (NWPT'09). 2009: [doi]
- Abstract Interpretation for sound approximation of database query languagesRaju Halder, Agostino Cortesi. In Proceedings of the 7th International Conference on Informatics and Systems (INFOS 2010) , Cairo, Egypt, March 28 - 30, 2010. 2010: [doi]