B
[Bur80] John P. Burgess. Decidability for Branching Time. Studia Logica 39(2-3):203-218. Kluwer Academic, 1980. 
@article{studlog39(2-3)-Bur,
  author =              {Burgess,John P.},
  title =               {Decidability for Branching Time},
  publisher =           {Kluwer Academic},
  journal =             {Studia Logica},
  volume =              {39},
  number =              {2-3},
  pages =               {203-218},
  year =                {1980},
}
List of authors