On the Detection of Implicit and Redundant Numeric Constraints in CLP Programs

Roberto Bagnara. On the Detection of Implicit and Redundant Numeric Constraints in CLP Programs. In Frank S. de Boer, Maurizio Gabbrielli, editors, ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, Santa Margherita Ligure, Italy, June 1994. 1994.

Abstract

Abstract is missing.