Using constraint propagation and domain reduction for the generation phase in declarative modeling | IEEE Conference Publication | IEEE Xplore