The reduction of binary trees by means of an input-restricted dequeR. KempRAIRO. Inform. théor., 17 3 (1983) 249-284DOI: https://doi.org/10.1051/ita/1983170302491