Michael Meier: On the termination of the chase algorithm. University of Freiburg 2010