Constraint Solving Over Multi-Valued Logics by F. Azevedo