Static Analysis of CLP Programs over Numeric Domains.

Roberto Bagnara Roberto Giacobazzi Giorgio Levi Static Analysis of CLP Programs over Numeric Domains. 43-50 1992 WSA db/conf/sas/wsa92.html#BagnaraGL92