Forward-branching

One can check whether a system is forward-branching [1] by using either the cubic algorithm derived from the characterization of forward-branching system or the quadratic construction of a forward-branching index-tree. One can transform a forward-branching TRS to a constructor system in CBNs using the two algorithms presented in [9].