Penabad, et al.. A General Procedure to Check Conjunctive Query Containment. Springer Nature, June 2002, doi:10.1007/s002360200082.