Certified size-change termination (2007)

by A Krauss
Venue:Automated Deduction (CADE-21), volume 4603 of LNCS