Speeding Up Constraint Propagation By Redundant Modeling. - B. M. W. Cheng; Jimmy Ho-Man Lee; J. C. K. Wu (CP, 1996)

A Constraint-based Nurse Rostering System Using a Redundant Modeling Approach. - B. M. W. Cheng; Jimmy Ho-Man Lee; J. C. K. Wu (ICTAI, 1996)

A nurse rostering system using constraint programming and redundant modeling. - B. M. W. Cheng; Jimmy Ho-Man Lee; J. C. K. Wu (IEEE Trans. Inf. Technol. Biomed., 1997)

Increasing Constraint Propagation by Redundant Modeling: an Experience Report. - B. M. W. Cheng; Kenneth M. F. Choi; Jimmy Ho-Man Lee; J. C. K. Wu (Constraints An Int. J., 1999)