GrandjeanO98'

BibTeX

@article{DBLP:journals/cc/GrandjeanO98,
  author    = {Etienne Grandjean and
               Fr{\'e}d{\'e}ric Olive},
  title     = {Monadic Logical Definability of Nondeterministic Linear
               Time},
  journal   = {Computational Complexity},
  volume    = {7},
  number    = {1},
  year      = {1998},
  pages     = {54-97},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}