Constraint-Based Reasoning | MIT Press eBooks | IEEE Xplore