Freeness analysis in the presence of numerical constraints (0)

by V Dumortier, G Janssens, M Bruynooghe, M Codish
Venue:Proc. Tenth Int’l Conf. on Logic Programming