Mineurs d'arbres avec racinesB. Courcelle and A. ParièsRAIRO-Theor. Inf. Appl., 29 5 (1995) 401-422DOI: https://doi.org/10.1051/ita/1995290504011