On the unusual effectiveness of logic in computer science. Halpern, J. Y, Harper, R., Immerman, N., Kolaitis, P. G, Vardi, M. Y, & Vianu, V. Bulletin of Symbolic Logic, 7(02):213–236, Cambridge Univ Press, 2001.
bibtex   
@Article{halpern2001unusual,
		  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   = {Bulletin of Symbolic Logic},
			    year      = {2001},
				  volume    = {7},
				    number    = {02},
					  pages     = {213--236},
					    publisher = {Cambridge Univ Press},
}
Downloads: 0