G
[GC12] Arie Gurfinkel and Marsha Chechik. Robust Vacuity for Branching Temporal Logic. ACM Transactions on Computational Logic 13(1). ACM Press, January 2012. 
@article{tocl13(1)-GC,
  author =              {Gurfinkel, Arie and Chechik, Marsha},
  title =               {Robust Vacuity for Branching Temporal Logic},
  publisher =           {ACM Press},
  journal =             {ACM Transactions on Computational Logic},
  volume =              {13},
  number =              {1},
  year =                {2012},
  month =               jan,
  doi =                 {10.1145/2071368.2071369},
}
List of authors