Return to Article Details Reasoning Methods for Designing and Surveying Relationships Described by Sets of Functional Constraints Download Download PDF