Logic−based Information Integration - Pérez−Urbina, H (University of Manchester, 2007)