@Misc{            Thomasf,
  Author        = "Thomas, Wolfgang",
  date-added    = "2014-05-14 05:42:06 +0000",
  date-modified = "2014-05-14 05:42:22 +0000",
  Title         = "Francqui Chair 2012-2013: Logic and Automata: Fundamentals and Perspectives",
  bdsk-url-1    = "http://informatique.umons.ac.be/tcs/Francqui/",
  File          = "Francqui Chair 2012-2013 Logic and Automata Fundamentals and Perspectives - Thomas (0) (0). - a - a - y"
}

@Misc{ Thomasf, Author = "Thomas, Wolfgang", date-added = "2014-05-14 05:42:06 +0000", date-modified = "2014-05-14 05:42:22 +0000", Title = "Francqui Chair 2012-2013: Logic and Automata: Fundamentals and Perspectives", bdsk-url-1 = "http://informatique.umons.ac.be/tcs/Francqui/", File = "Francqui Chair 2012-2013 Logic and Automata Fundamentals and Perspectives - Thomas (0) (0). - a - a - y" }