Kirack Sohn
Univ. of California, Santa Cruz
A new look at the automatic synthesis of linear ranking functions
Information and Computation