A software engineering approach to constraint programming systems | IEEE Conference Publication | IEEE Xplore