Adapting CLP to Floating-Point Arithmetic

Jimmy Ho-Man Lee, Maarten H. van Emden. Adapting CLP to Floating-Point Arithmetic. In FGCS. pages 996-1003, 1992.

Abstract

Abstract is missing.