A complete method for the synthesis of linear ranking functions (2004)

by A Podelski, A Rybalchenko
Venue:In VMCAI