D. Tabakov, and M. Vardi. LATA, Report 35/07, page 565-576. Research Group on Mathematical Linguistics, Universitat Rovira i Virgili, Tarragona, (2007)
D. Calvanese, M. Vardi, G. de Giacomo, and M. Lenzerini. Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, page 58--66. New York, NY, USA, ACM, (2000)