Phokion G. Kolaitis, Moshe Y. Vardi
Information and Computation
Paper
The Universal-Relation Data Model for Logical Independence
Related
Conference paper
Decidable optimization problems for database logic programs
Stavros S. Cosmadakis, Paris C. Kanellakis, et al.
STOC 1988
Hana Chockler, Orna Kupferman, et al.
Formal Methods in System Design
Ronald Fagin, Joseph Y. Halpern, et al.
Artificial Intelligence