@article{4592,
  author       = {Alur, Rajeev and Henzinger, Thomas A},
  issn         = {0163-5700},
  journal      = {SIGACT News},
  number       = {3},
  pages        = {6 -- 12},
  publisher    = {ACM},
  title        = {{Time for logic}},
  volume       = {22},
  year         = {1991},
}