Deciding innermost loops (2008)

by R Thiemann, J Giesl, P Schneider-Kamp
Venue:In Proc. RTA ’08, LNCS 5117