Jian Zhang, Hantao Zhang: Constraint Propagation in Model Generation. CP 1995: 398-414