Well quasi-orders, unavoidable sets, and derivation systemsFlavio D'Alessandro and Stefano VarricchioRAIRO-Theor. Inf. Appl., 40 3 (2006) 407-426DOI: https://doi.org/10.1051/ita:2006019
