[{"date_updated":"2022-02-24T13:54:10Z","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","language":[{"iso":"eng"}],"publication_identifier":{"issn":["0163-5700"]},"citation":{"mla":"Alur, Rajeev, and Thomas A. Henzinger. “Time for Logic.” <i>SIGACT News</i>, vol. 22, no. 3, ACM, 1991, pp. 6–12.","ista":"Alur R, Henzinger TA. 1991. Time for logic. SIGACT News. 22(3), 6–12.","ieee":"R. Alur and T. A. Henzinger, “Time for logic,” <i>SIGACT News</i>, vol. 22, no. 3. ACM, pp. 6–12, 1991.","chicago":"Alur, Rajeev, and Thomas A Henzinger. “Time for Logic.” <i>SIGACT News</i>. ACM, 1991.","apa":"Alur, R., &#38; Henzinger, T. A. (1991). Time for logic. <i>SIGACT News</i>. ACM.","ama":"Alur R, Henzinger TA. Time for logic. <i>SIGACT News</i>. 1991;22(3):6-12.","short":"R. Alur, T.A. Henzinger, SIGACT News 22 (1991) 6–12."},"title":"Time for logic","article_type":"letter_note","day":"01","publist_id":"113","author":[{"last_name":"Alur","first_name":"Rajeev","full_name":"Alur, Rajeev"},{"last_name":"Henzinger","full_name":"Henzinger, Thomas A","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724"}],"type":"journal_article","year":"1991","oa_version":"None","publisher":"ACM","publication_status":"published","main_file_link":[{"url":"https://dl.acm.org/toc/sigact/1991/22/1"}],"publication":"SIGACT News","quality_controlled":"1","intvolume":"        22","status":"public","volume":22,"page":"6 - 12","article_processing_charge":"No","issue":"3","month":"01","extern":"1","date_created":"2018-12-11T12:09:39Z","_id":"4592","date_published":"1991-01-01T00:00:00Z"}]