http://dx.doi.org/10.1007/3-540-49257-7_7 conf/icdt/99 James Bailey Guozhu Dong Decidability of First-Order Logic Queries over Views. 83-99 1999 ICDT http://link.springer.de/link/service/series/0558/bibs/1540/15400083.htm db/conf/icdt/icdt99.html#BaileyD99 conf/pods/AbiteboulD98 conf/pods/BaileyDR98 ... conf/pods/CalvaneseGL98 conf/stoc/CosmadakisGKV88 journals/jacm/CosmadakisKV90 journals/jcss/Immerman82 conf/pods/LevyMSS93 conf/aaai/LevyR96 journals/jacm/SagivY80 conf/er/Theodoratos96 conf/icdt/Ullman97