"Freeness Analysis in the Presence of Numerical Constraints."

Veroniek Dumortier et al. (1993)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics