The reduction of binary trees by means of an input-restricted deque R. Kemp RAIRO. Inform. théor., 17 3 (1983) 249-284 Published online: 01 February 2017 DOI: 10.1051/ita/1983170302491