Gaihua Fu Jianhua Shao Suzanne M. Embury W. A. Gray An Algorithm for Determining Related Constraints. 134-149 2002 conf/bncod/2002 BNCOD http://dx.doi.org/10.1007/3-540-45495-0_17 db/conf/bncod/bncod2002.html#FuSEG02