Constraint Solving Over Multi-Valued Logics door F. Azevedo