Your search returned the following document:

1. Program termination analysis in polynomial time
   Amir M. Ben-Amram and Chin Soon Lee
   ACM Transactions on Programming Languages and Systems 29 (1): 5:1-37, 2007