Abiteboul, Serge, Hull, Richard D. and Vianu, Victor. 1995. Foundations of Databases. Reading, Massachusetts: Addison-Wesley.
Halpern, Joseph Y., Harper, Robert A., Immerman, Neil, Kolaitis, Phokion G., Vardi, Moshe Y. and Vianu, Victor. 2001. “On the Unusual Effectiveness of Logic in Computer Science.”The Bulletin of Symbolic Logic 7(2): 213–236.