On the unusual effectiveness of logic in computer science (0)

by Joseph Y Halpern, Robert Harper, Neil Immerman, Phokion G Kolaitis, Moshe Y Vardi, Victor Vianu
Venue:Bulletin of Symbolic Logic