Constraint Solving | part of Logic Programming: Proceedings of the Tenth International Conference on Logic Programming June 21-24, 1993, Budapest, Hungary | MIT Press books | IEEE Xplore