Edward P. F. Chan Ron van der Meyden Testing Containment of Object-Oriented Conjunctive Queries is Pi_2^p-hard. 81-90 1995 conf/cocoon/1995 COCOON db/conf/cocoon/cocoon95.html#ChanM95