@Article{halpern+:unreasonable,
  author = 	 {Joseph Y. Halpern and Robert Harper and Neil Immerman and Phokion Kolaitis and Moshe Y. Vardi and Victor Vianu},
  title = 	 {On the Unusual Effectiveness of Logic in Computer Science},
  journal = 	 {Bulletin of the Association for Symbolic Logic},
  year = 	 2001,
  volume =	 {7},
  number =	 {2},
  pages =	 {213--236},
  month =	 {June}
}