@InProceedings{l02-p356-370, AUTHOR = {Steffen van~Bakel and Mariangiola Dezani-Ciancaglini}, TITLE = {Characterising Strong Normalisation for Explicit Substitutions}, YEAR = 2002, BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)}, ADDRESS = {Cancun, Mexico}, PAGES = {356--370}, KEYWORDS = {}}