@conference {14300, title = {CLP (SC): Implementation and efficiency considerations{\guillemotright}}, booktitle = {Proceedings of the Workshop on Set Constraints, held in Conjunction with CP{\textquoteright}96, Boston, Massachusetts}, year = {1996}, month = {1996///}, author = {Jeffrey,S.F.} }