B
[BCG88] Michael C. Browne, Edmund M. Clarke, and Orna Grumberg. Characterizing Finite Kripke Structures in Propositional Temporal Logic. Theoretical Computer Science 59(1-2):115-131. Elsevier, July 1988. 
@article{tcs59(1-2)-BCG,
  author =              {Browne, Michael C. and Clarke, Edmund M. and
                         Grumberg, Orna},
  title =               {Characterizing Finite {K}ripke Structures in
                         Propositional Temporal Logic},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {59},
  number =              {1-2},
  pages =               {115-131},
  year =                {1988},
  month =               jul,
}
List of authors