@inproceedings{GDL92, author = {R. Giacobazzi and S. K. Debray and G. Levi}, title = "A {G}eneralized {S}emantics for {C}onstraint {L}ogic {P}rograms", Booktitle= {Proceedings of the International Conference on Fifth Generation Computer Systems 1992}, year = {1992}, pages = {581-591}}