Maria Clicia Stelling de Castro, M. R. P. I. C. D. Paralellisation of Arc-Consistency Algorithms in a Centralised Memory Machine. CadINF 2013, 13, 13-19.