M. Pereira, P. Vargas, M. Castro, F. Franca, and I. Dutra.
" Automatic Constraint Partitioning to Speed Up CLP Execution", in <em>Anais do XIX International Symposium on Computer Architecture and High Performance Computing</em>, Gramado/RS, 2007, pp. 271-278.