The characterisation of the derivation trees of context free sets of terms as regular sets | IEEE Conference Publication | IEEE Xplore