Data exchange: computing cores in polynomial time - Gottlob, G; Nash, A (ACM, 2006)