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.
No references recorded for this publication.
No citations of this publication recorded.