K
[KPV12] Orna Kupferman, Amir Pnueli, and Moshe Y. Vardi. Once and For All. Journal of Computer and System Sciences 78(3):981-996. Elsevier, May 2012. 
@article{jcss78(3)-KPV,
  author =              {Kupferman, Orna and Pnueli, Amir and Vardi, Moshe
                         Y.},
  title =               {{\emph{Once}} and {\emph{For All}}},
  publisher =           {Elsevier},
  journal =             {Journal of Computer and System Sciences},
  volume =              {78},
  number =              {3},
  pages =               {981-996},
  year =                {2012},
  month =               may,
  doi =                 {10.1016/j.jcss.2011.08.006},
}
List of authors