ByNobleID
    The invertibility of tree transducers | NobleID