Source: cirosantilli/intrinsic-termination

= Intrinsic termination
{wiki}

= Rho-independent termination
{synonym}
{title2}