"On the Relation between Sized-Types Based Termination and Semantic Labelling."

Frédéric Blanqui, Cody Roux (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics