MaK01'

BibTeX

@article{DBLP:journals/air/MaK01,
  author    = {Jixin Ma and
               Brian Knight},
  title     = {Reified Temporal Logics: An Overview},
  journal   = {Artif. Intell. Rev.},
  volume    = {15},
  number    = {3},
  year      = {2001},
  pages     = {189-217},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}