B. M. W. Cheng Jimmy Ho-Man Lee J. C. K. Wu A Constraint-based Nurse Rostering System Using a Redundant Modeling Approach. 140-148 1996 ICTAI db/conf/ictai/ictai1996.html#ChengLW96