A Region Graph Based Approach to Termination Proofs.

Stefan Leue, Wei Wei

Browse the full TACAS paper archive.