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