The reduction of binary trees by means of an input-restricted deque R. Kemp — 1983 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications