Testing Containment of Object-Oriented Conjunctive Queries is Pi_2^p-hard.

Edward P. F. Chan, Ron van der Meyden

Browse the full COCOON paper archive.