Tools for constraint visualisation: The VIFID/TRIFID tool - Carro, M; Hermenegildo, M; (Lecture Notes In Computer Science, 2000)