@inproceedings{degroote:inria-00100815, TITLE = {{On the Strong Normalisation of Natural Deduction with Permutation-Conversions}}, AUTHOR = {de Groote, Philippe}, URL = {https://inria.hal.science/inria-00100815}, NOTE = {Colloque avec actes et comit{\'e} de lecture.}, BOOKTITLE = {{10th International Conference on Rewriting Techniques \& Applications - RTA'99}}, ADDRESS = {Trento, Italy}, HAL_LOCAL_REFERENCE = {99-R-389 || de\_groote\_99a}, EDITOR = {P. Narendran \& M. Rusinowitch}, PUBLISHER = {{Springer-Verlag}}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {1631}, PAGES = {45--59}, YEAR = {1999}, KEYWORDS = {proof theory ; th{\'e}orie de la d{\'e}monstration}, HAL_ID = {inria-00100815}, HAL_VERSION = {v1}, }