Deciding linear inequalities by computing loop residues (1981)

by R Shostak
Venue:Journal of the ACM