On the Unusual Effectiveness of Logic in Computer Science

@article{logicincsbullsymlog7,
   author = {Joseph Y. Halpern and Robert Harper and Neil Immerman and Phokion G. Kolaitis and Moshe Y. Vardi and Victor Vianu},
   doi = {10.2307/2687775},
   journal = {Bulletin of Symbolic Logic},
   month = jun,
   number = 2,
   pages = {213--236},
   publisher = {Association for Symbolic Logic},
   title = {On the Unusual Effectiveness of Logic in Computer Science},
   url = {http://www.jstor.org/stable/2687775},
   volume = 7,
   year = 2001
}