Grady Giles, Joel Irby, Daniela Toneva, Kun-Han Tsai: Built-in constraint resolution. ITC 2005: 10