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