On a tree collision resolution algorithm in presence of captureU. SchmidRAIRO-Theor. Inf. Appl., 26 2 (1992) 163-197DOI: https://doi.org/10.1051/ita/1992260201631
