Automatic Discovery of Linear Restraints Among Variables of a Program
Patrick Cousot
A Complete Approach for Termination Analysis of Linear Programs