An Educational Tool based on Semantic Tableaux for Verification and Debugging of Algorithms - Experiences and Results. - Rafael del Vado Vírseda; Fernando Pérez Morente; Sergio Esquembri Martínez (CSEDU (2), 2011)