@article{GDL95, author = {R. Giacobazzi and S.K. Debray and G. Levi}, title = {Generalized {S}emantics and {A}bstract {I}nterpretation for {C}onstraint {L}ogic {P}rograms}, journal = {Journal of Logic Programming}, volume = {25}, number = {3}, year = {1995}, pages = {191-248}}