@article{Halpern2001,
	title = {On the {Unusual} {Effectiveness} of {Logic} in {Computer} {Science}},
	volume = {7},
	number = {2},
	journal = {Bulletin of Symbolic Logic},
	author = {Halpern, Joseph Y and Harper, Robert and Immerman, Neil and Kolaitis, Phokion G and Vardi, Moshe Y and Vianu, Victor},
	year = {2001},
	pages = {1--19},
}

{"_id":"G3MQWu9N3NbNpigwW","bibbaseid":"halpern-harper-immerman-kolaitis-vardi-vianu-ontheunusualeffectivenessoflogicincomputerscience-2001","authorIDs":[],"author_short":["Halpern, J. Y","Harper, R.","Immerman, N.","Kolaitis, P. G","Vardi, M. Y","Vianu, V."],"bibdata":{"bibtype":"article","type":"article","title":"On the Unusual Effectiveness of Logic in Computer Science","volume":"7","number":"2","journal":"Bulletin of Symbolic Logic","author":[{"propositions":[],"lastnames":["Halpern"],"firstnames":["Joseph","Y"],"suffixes":[]},{"propositions":[],"lastnames":["Harper"],"firstnames":["Robert"],"suffixes":[]},{"propositions":[],"lastnames":["Immerman"],"firstnames":["Neil"],"suffixes":[]},{"propositions":[],"lastnames":["Kolaitis"],"firstnames":["Phokion","G"],"suffixes":[]},{"propositions":[],"lastnames":["Vardi"],"firstnames":["Moshe","Y"],"suffixes":[]},{"propositions":[],"lastnames":["Vianu"],"firstnames":["Victor"],"suffixes":[]}],"year":"2001","pages":"1–19","bibtex":"@article{Halpern2001,\n\ttitle = {On the {Unusual} {Effectiveness} of {Logic} in {Computer} {Science}},\n\tvolume = {7},\n\tnumber = {2},\n\tjournal = {Bulletin of Symbolic Logic},\n\tauthor = {Halpern, Joseph Y and Harper, Robert and Immerman, Neil and Kolaitis, Phokion G and Vardi, Moshe Y and Vianu, Victor},\n\tyear = {2001},\n\tpages = {1--19},\n}\n\n","author_short":["Halpern, J. Y","Harper, R.","Immerman, N.","Kolaitis, P. G","Vardi, M. Y","Vianu, V."],"key":"Halpern2001","id":"Halpern2001","bibbaseid":"halpern-harper-immerman-kolaitis-vardi-vianu-ontheunusualeffectivenessoflogicincomputerscience-2001","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/ifromm","creationDate":"2019-07-02T21:19:47.834Z","downloads":0,"keywords":[],"search_terms":["unusual","effectiveness","logic","computer","science","halpern","harper","immerman","kolaitis","vardi","vianu"],"title":"On the Unusual Effectiveness of Logic in Computer Science","year":2001,"dataSources":["ChWnbF8EqSa8nccMs","N4kJAiLiJ7kxfNsoh"]}