Termination of linear programs. (2004)

by A Tiwari
Venue:In: CAV. LNCS 3114, Springer