@TechReport{      Kupferman:1998:VFT:866059,
  Author        = "Kupferman, Orna and Vardi, Moshe Y.",
  date-added    = "2016-05-12 14:38:21 +0000",
  date-modified = "2016-05-12 14:38:21 +0000",
  Publisher     = "Chicago Journal of Theoretical Computer Science",
  source        = "http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai\%3Ancstrlh\%3Acjtcs\%3ACJTCS\%2F\%2FCJTCS-1998-2",
  Title         = "Verification of Fair Transition Systems",
  Year          = "1998",
  File          = "Verification of Fair Transition Systems - Kupferman, Vardi (0) (0) - a - a - r.pdf"
}

@TechReport{ Kupferman:1998:VFT:866059, Author = "Kupferman, Orna and Vardi, Moshe Y.", date-added = "2016-05-12 14:38:21 +0000", date-modified = "2016-05-12 14:38:21 +0000", Publisher = "Chicago Journal of Theoretical Computer Science", source = "http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai\%3Ancstrlh\%3Acjtcs\%3ACJTCS\%2F\%2FCJTCS-1998-2", Title = "Verification of Fair Transition Systems", Year = "1998", File = "Verification of Fair Transition Systems - Kupferman, Vardi (0) (0) - a - a - r.pdf" }