B
[BFD02] Alexander Bolotov, Michael J. Fischer, and Clare Dixon. On the Relationship between ω-Automata and Temporal Logic Normal Forms. Journal of Logic and Computation 12(4):561-581. Oxford University Press, August 2002. 
@article{jlc12(4)-BFD,
  author =              {Bolotov, Alexander and Fischer, Michael J. and
                         Dixon, Clare},
  title =               {On the Relationship between {\(\omega\)}-Automata
                         and Temporal Logic Normal Forms},
  publisher =           {Oxford University Press},
  journal =             {Journal of Logic and Computation},
  volume =              {12},
  number =              {4},
  pages =               {561-581},
  year =                {2002},
  month =               aug,
}
List of authors