Bravoand Bertossi. Logic Programs for Consistently Querying Data Integration Systems. 2003.