Detecting Non-termination of Term Rewriting Systems Using an Unfolding Operator.

tienne Payet

Browse the full LOPSTR paper archive.