On Termination of Logic Programs with Floating Point Computations.

Alexander Serebrenik, Danny De Schreye

Browse the full SAS paper archive.