@PhdThesis{       Kaivola,
  Author        = "Kaivola, Roope",
  date-added    = "2014-03-22 07:10:06 +0000",
  date-modified = "2014-03-22 07:10:53 +0000",
  Number        = "ECS-LFCS-97-356",
  Title         = "Using Automata to Characterise Fixed Point Temporal Logics",
  Year          = "1997",
  File          = "Using Automata to Characterise Fixed Point Temporal Logics - Kaivola (0) (0) - a - a - p.pdf"
}

@PhdThesis{ Kaivola, Author = "Kaivola, Roope", date-added = "2014-03-22 07:10:06 +0000", date-modified = "2014-03-22 07:10:53 +0000", Number = "ECS-LFCS-97-356", Title = "Using Automata to Characterise Fixed Point Temporal Logics", Year = "1997", File = "Using Automata to Characterise Fixed Point Temporal Logics - Kaivola (0) (0) - a - a - p.pdf" }