Maria Clicia Stelling de Castro, M.R.P.I.C.D. 2013. Paralellisation of Arc-Consistency Algorithms in a Centralised Memory Machine. Cadernos do IME - Série Informática. 13, (jun. 2013), 13–19.