A SAT-Based Approach to Size Change Termination with Global Ranking Functions.

Amir M. Ben-Amram, Michael Codish

Browse the full TACAS paper archive.