View-based query processing and constraint satisfaction (2000)

by D Calvanese, G De Giacomo, M Lenzerini, M Y Vardi
Venue:In Proc. of LICS 2000