@Article{         Stirlingc,
  Author        = "Stirling, Colin",
  Annote        = "- Proof of Van Benthem's theorem? - Is image-finiteness necessary for showing that the semantics of <a> is continuous?",
  date-added    = "2012-06-05 18:18:38 +0200",
  date-modified = "2012-09-13 09:13:22 +0200",
  Keywords      = "bisimulation equivalence",
  Title         = "Bisimulation and Logic",
  Year          = "2009",
  File          = "Bisimulation and Logic - Stirling (0) (0) - a - a - l.pdf"
}