Conjunctive-query containment and constraint satisfaction. (2000)

by P G Kolaitis, M Y Vardi
Venue:Journal of Computer and System Sciences