@InProceedings{   FigueiraFigueiraSchmitzSchnoebelen:LICS:2011,
  Author        = "{Figueira}, Diego and {Figueira}, Santiago and {Schmitz}, Sylvain and {Schnoebelen}, Philippe",
  BookTitle     = "Proc. of LICS'11",
  date-added    = "2020-10-03 16:43:16 +0200",
  date-modified = "2020-10-03 16:43:41 +0200",
  Pages         = "269--278",
  Title         = "Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma",
  Year          = "2011",
  File          = "Ackermannian and Primitive-Recursive Bounds with Dickson’s Lemma - figueira2011 - a - b.pdf"
}

@InProceedings{ FigueiraFigueiraSchmitzSchnoebelen:LICS:2011, Author = "{Figueira}, Diego and {Figueira}, Santiago and {Schmitz}, Sylvain and {Schnoebelen}, Philippe", BookTitle = "Proc. of LICS'11", date-added = "2020-10-03 16:43:16 +0200", date-modified = "2020-10-03 16:43:41 +0200", Pages = "269--278", Title = "Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma", Year = "2011", File = "Ackermannian and Primitive-Recursive Bounds with Dickson’s Lemma - figueira2011 - a - b.pdf" }