blanqui-2009-on:
  type: chapter
  title: On the Relation between Sized-Types Based Termination and Semantic Labelling
  author:
  - Blanqui, Frédéric
  - Roux, Cody
  date: 2009
  page-range: 147-162
  url: http://dx.doi.org/10.1007/978-3-642-04027-6_13
  serial-number:
    doi: 10.1007/978-3-642-04027-6_13
    isbn: '9783642040276'
    issn: 1611-3349
  parent:
    type: book
    title: Computer Science Logic
    publisher: Springer Berlin Heidelberg