TY - RPRT TI - Programming Finite-Domain Constraint Propagators in Action Rules AU - Neng-Fa Zhou PY - 2005 UR - https://arxiv.org/abs/cs/0506005 ID - cs/0506005 ER -