On the Complexity of Queries in (1993)

by G Kuper, M Y Vardi
Venue:the Logical Data Model”. Theor. Comput. Sci