@inbook{blanqui-2009-on, title={On the Relation between Sized-Types Based Termination and Semantic Labelling}, ISBN={9783642040276}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-642-04027-6_13}, DOI={10.1007/978-3-642-04027-6_13}, booktitle={Computer Science Logic}, publisher={Springer Berlin Heidelberg}, author={Blanqui, Frédéric and Roux, Cody}, year={2009}, pages={147–162} }