Return to Article Details Liveness Verification in TRSs Using Tree Automata and Termination Analysis Download Download PDF