Fang Wei Georg Lausen A unified apriori-like algorithm for conjunctive query containment. 111-120 2008 IDEAS http://doi.acm.org/10.1145/1451940.1451957 conf/ideas/2008 db/conf/ideas/ideas2008.html#WeiL08