Decision Procedures for Automating Termination Proofs.

Ruzica Piskac, Thomas Wies

Browse the full VMCAI paper archive.