---
_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. <i>SIGACT News</i>. 1991;22(3):6-12.
  apa: Alur, R., &#38; Henzinger, T. A. (1991). Time for logic. <i>SIGACT News</i>.
    ACM.
  chicago: Alur, Rajeev, and Thomas A Henzinger. “Time for Logic.” <i>SIGACT News</i>.
    ACM, 1991.
  ieee: R. Alur and T. A. Henzinger, “Time for logic,” <i>SIGACT News</i>, 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.” <i>SIGACT News</i>,
    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'
...