Neng-Fa Zhou
-
Programming finite-domain constraint propagators in Action Rules
Theory and Practice of Logic Programming