@article{1182353776,
author = {Halpern, Joseph Y. and Harper, Robert and Immerman, Neil and Kolaitis, Phokion G. and Vardi, Moshe Y. and Vianu, Victor},
title = {On the Unusual Effectiveness of Logic in Computer Science},
journal = {Bull. Symbolic Logic},
volume = {7},
number = {1},
year = {2001},
pages = { 213-236},
language = {en},
url = {http://dml.mathdoc.fr/item/1182353776}
}
Halpern, Joseph Y.; Harper, Robert; Immerman, Neil; Kolaitis, Phokion G.; Vardi, Moshe Y.; Vianu, Victor. On the Unusual Effectiveness of Logic in Computer Science. Bull. Symbolic Logic, Tome 7 (2001) no. 1, pp. 213-236. http://gdmltest.u-ga.fr/item/1182353776/