@Article{         Schmitz,
  Author        = "Schmitz, Sylvain",
  date-added    = "2014-08-05 08:33:00 +0000",
  date-modified = "2014-08-05 08:33:03 +0000",
  EPrint        = "1407.5896",
  Month         = "07",
  Title         = "Complexity Bounds for Ordinal-Based Termination",
  URL           = "http://arxiv.org/abs/1407.5896",
  Year          = "2014",
  bdsk-url-1    = "http://arxiv.org/abs/1407.5896",
  File          = "Complexity Bounds for Ordinal-Based Termination - Schmitz (0) (0) - a - a - v.pdf"
}

@Article{ Schmitz, Author = "Schmitz, Sylvain", date-added = "2014-08-05 08:33:00 +0000", date-modified = "2014-08-05 08:33:03 +0000", EPrint = "1407.5896", Month = "07", Title = "Complexity Bounds for Ordinal-Based Termination", URL = "http://arxiv.org/abs/1407.5896", Year = "2014", bdsk-url-1 = "http://arxiv.org/abs/1407.5896", File = "Complexity Bounds for Ordinal-Based Termination - Schmitz (0) (0) - a - a - v.pdf" }