Ronald Fagin, Joseph Y. Halpern, et al.
Journal of the ACM
Paper
The Universal-Relation Data Model for Logical Independence
Related
Gabriel M. Kuper, Moshe Y. Vardi
Theoretical Computer Science
Conference paper
THE COMPLEXITY OF ORDERING SUBGOALS
Jeffrey D. Ullman, Moshe Y. Vardi
SIGMOD/PODS/ 1988
Ronald Fagin, Joseph Y. Halpern, et al.
Distributed Computing