Generalized Semantics and Abstract Interpretation for Constraint Logic Programs.

Roberto Giacobazzi Saumya K. Debray Giorgio Levi Generalized Semantics and Abstract Interpretation for Constraint Logic Programs. 191-247 1995 25 J. Log. Program. 3 db/journals/jlp/jlp25.html#GiacobazziDL95