@inproceedings{f45e0fedbd2b47c2a333e0c8bab92ac2,
title = "Combinatory reduction systems with explicit substitution that preserve strong normalisation",
author = "C.J. Bloo and K.H. Rose",
year = "1996",
doi = "10.1007/3-540-61464-8_51",
language = "English",
isbn = "3-540-61464-8",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "169--183",
editor = "H. Ganzinger",
booktitle = "Rewriting Techniques and Applications (Proceedings 7th International Conference, RTA-96, New Brunswick NJ, USA, July 27-30, 1996)",
address = "Germany",
}