Linear arithmetic with stars (2008)

by R Piskac, V Kuncak
Venue:In CAV