V.: Linear arithmetic with stars (2008)

by R Piskac, Kuncak
Venue:CAV 2008. LNCS