B
[BG85] John P. Burgess and Yuri Gurevich. The Decision Problem for Linear Temporal Logic. Notre Dame Journal of Formal Logic 26(2):115-128. April 1985. 
@article{ndjfl26(2)-BG,
  author =              {Burgess,John P. and Gurevich, Yuri},
  title =               {The Decision Problem for Linear Temporal Logic},
  journal =             {Notre Dame Journal of Formal Logic},
  volume =              {26},
  number =              {2},
  pages =               {115-128},
  year =                {1985},
  month =               apr,
}
List of authors