TY - JOUR AU - Good, Chris AU - Stares, Ian TI - New proofs of classical insertion theorems JO - Commentationes Mathematicae Universitatis Carolinae PY - 2000 SP - 139 EP - 142 VL - 41 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/CMUC_2000__41_1_a12/ LA - en ID - CMUC_2000__41_1_a12 ER -