K
[Kam94] Michael Kaminski. A branching time logic with past operators. Journal of Computer and System Sciences 49(2):223-246. Academic Press, October 1994. 
@article{jcss49(2)-Kam,
  author =              {Kaminski, Michael},
  title =               {A branching time logic with past operators},
  publisher =           {Academic Press},
  journal =             {Journal of Computer and System Sciences},
  volume =              {49},
  number =              {2},
  pages =               {223-246},
  year =                {1994},
  month =               oct,
}
List of authors