"Optimizing Compilation of Linear Arithmetic in a Class of Constraint Logic ..."

Spiro Michaylov, Bill Pippin (1994)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics