@article{halpern_harper_immerman_kolaitis_vardi_vianu_2001,
    Author = {Halpern, Joseph Y. and Harper, Robert and Immerman, Neil and Kolaitis, Phokion G. and Vardi, Moshe Y. and Vianu, Victor},
    File = {On the Unusual Effectiveness of Logic in Computer Science - halpern2001 - a - a - y.pdf},
    Journal = {Bulletin of Symbolic Logic},
    Number = {2},
    Pages = {213--236},
    Publisher = {Cambridge University Press},
    Title = {On the Unusual Effectiveness of Logic in Computer Science},
    Volume = {7},
    Year = {2001},
    bdsk-url-1 = {https://doi.org/10.2307/2687775},
    date-added = {2020-02-23 07:29:53 +0100},
    date-modified = {2020-02-23 07:29:53 +0100},
    file-2 = {On the Unusual Effectiveness of Logic in Computer Science - a - a - a - y.pdf},
    doi = {10.2307/2687775}
}

@article{halpern_harper_immerman_kolaitis_vardi_vianu_2001, Author = {Halpern, Joseph Y. and Harper, Robert and Immerman, Neil and Kolaitis, Phokion G. and Vardi, Moshe Y. and Vianu, Victor}, File = {On the Unusual Effectiveness of Logic in Computer Science - halpern2001 - a - a - y.pdf}, Journal = {Bulletin of Symbolic Logic}, Number = {2}, Pages = {213--236}, Publisher = {Cambridge University Press}, Title = {On the Unusual Effectiveness of Logic in Computer Science}, Volume = {7}, Year = {2001}, bdsk-url-1 = {https://doi.org/10.2307/2687775}, date-added = {2020-02-23 07:29:53 +0100}, date-modified = {2020-02-23 07:29:53 +0100}, file-2 = {On the Unusual Effectiveness of Logic in Computer Science - a - a - a - y.pdf}, doi = {10.2307/2687775} }