@Article{BK11,
 title =	"On the Edge of Decidability in Complexity Analysis of Loop Programs",
 author =	"Amir M. Ben-Amram and Lars Kristiansen",
 journal =	"International Journal on the Foundations of Computer Science",
 volume = {23},
 number = {7},
 year = {2012},
 issn = {0129-0541},
 issn = {1793-6373},
 pages = {1451-1464},
 publisher = {World Scientific},
}