Michael Meier 0002 Michael Schmidt Georg Lausen On Chase Termination Beyond Stratification. 970-981 2009 2 PVLDB 1 http://www.vldb.org/pvldb/2/vldb09-295.pdf db/journals/pvldb/pvldb2.html#MeierSL09