Andrea Calì Georg Gottlob Michael Kifer Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. 70-80 2008 KR conf/kr/2008 db/conf/kr/kr2008.html#CaliGK08