Linear arithmetic with stars (2008)

by R Piskac, V Kuncak
Venue:In Computed-Aided Verification (CAV), volume 5123 of LNCS