C.S.: Ranking functions for size-change termination II (2009)

by A M Ben-Amram, Lee
Venue:Logical Methods in Computer Science