Guided Unfoldings for Finding Loops in Standard Term Rewriting.

tienne Payet

Browse the full LOPSTR paper archive.