Maria Clicia Stelling de Castro, Marluce R. Pereira, Inês C. Dutra,. 2013. “Paralellisation of Arc-Consistency Algorithms in a Centralised Memory Machine”. Cadernos Do IME - Série Informática 13 (junho):13-19. https://www.e-publicacoes.uerj.br/cadinf/article/view/6582.