Tools for search-tree visualisation: The APT tool - Carro, M; Hermenegildo, M; (Lecture Notes In Computer Science, 2000)