@InProceedings{   LiZhangPuVardiHe,
  Author        = "Li, Jianwen and Zhang, Lijun and Pu, Geguang and Vardi, Moshe Y. and He, Jifeng",
  BookTitle     = "TIME",
  date-added    = "2013-10-25 14:46:03 +0000",
  date-modified = "2013-10-25 14:46:59 +0000",
  Title         = "LTL Satisfiability Checking Revisited",
  Year          = "2013",
  File          = "LTL Satisfiability Checking Revisited - Li, Zhang, Pu, Vardi, He (0) (0) - a - a - k.pdf"
}

@InProceedings{ LiZhangPuVardiHe, Author = "Li, Jianwen and Zhang, Lijun and Pu, Geguang and Vardi, Moshe Y. and He, Jifeng", BookTitle = "TIME", date-added = "2013-10-25 14:46:03 +0000", date-modified = "2013-10-25 14:46:59 +0000", Title = "LTL Satisfiability Checking Revisited", Year = "2013", File = "LTL Satisfiability Checking Revisited - Li, Zhang, Pu, Vardi, He (0) (0) - a - a - k.pdf" }