related documents The characterisation of the derivation trees of context free sets of terms as regular sets Conferences
