TY - JOUR AU - Kemp, R. TI - The reduction of binary trees by means of an input-restricted deque JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1983 SP - 249 EP - 284 VL - 17 IS - 3 PB - EDP-Sciences UR - http://geodesic.mathdoc.fr/item/ITA_1983__17_3_249_0/ LA - en ID - ITA_1983__17_3_249_0 ER -