= Intrinsic termination {wiki} = Rho-independent termination {synonym} {title2}
Back to article page