View-based query processing and constraint satisfaction, (2000)

by D Calvanese, G D Giacomo, M Lenzerini, M Y Vardi
Venue:Proc. of the 15th IEEE Sym. on Logic in Computer Science (LICS