TY - JOUR AU - Schmid, U. TI - On a tree collision resolution algorithm in presence of capture JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1992 SP - 163 EP - 197 VL - 26 IS - 2 PB - EDP-Sciences UR - http://www.numdam.org/item/ITA_1992__26_2_163_0/ LA - en ID - ITA_1992__26_2_163_0 ER -