Freeness analysis in the presence of numerical constraints (1993)

by V Dumortier, G Janssens, M Bruynooghe, M Codish
Venue:Proceedings of the 10th International Conference on Logic Programming