Leonid Libkin, Cristina Sirangelo: Data exchange and schema mappings in open and closed worlds. J. Comput. Syst. Sci. 77(3): 542-571 (2011)