@InProceedings{   salvati:hal-01061202,
  Author        = "Salvati, Sylvain and Walukiewicz, Igor",
  Address       = "London, United Kingdom",
  BookTitle     = "{FOSSACS'15}",
  date-added    = "2015-02-01 08:49:24 +0000",
  date-modified = "2015-02-04 06:42:00 +0000",
  hal_id        = "hal-01061202",
  hal_version   = "v2",
  Keywords      = "readme",
  Month         = "April",
  Series        = "FOSSACS 2015",
  Title         = "{Typing weak MSOL properties}",
  URL           = "https://hal.archives-ouvertes.fr/hal-01061202",
  Year          = "2015",
  bdsk-url-1    = "https://hal.archives-ouvertes.fr/hal-01061202",
  File          = "Typing weak MSOL properties - Salvati, Walukiewicz (0) (0) - a - a - g.pdf"
}

@InProceedings{ salvati:hal-01061202, Author = "Salvati, Sylvain and Walukiewicz, Igor", Address = "London, United Kingdom", BookTitle = "{FOSSACS'15}", date-added = "2015-02-01 08:49:24 +0000", date-modified = "2015-02-04 06:42:00 +0000", hal_id = "hal-01061202", hal_version = "v2", Keywords = "readme", Month = "April", Series = "FOSSACS 2015", Title = "{Typing weak MSOL properties}", URL = "https://hal.archives-ouvertes.fr/hal-01061202", Year = "2015", bdsk-url-1 = "https://hal.archives-ouvertes.fr/hal-01061202", File = "Typing weak MSOL properties - Salvati, Walukiewicz (0) (0) - a - a - g.pdf" }