A Logic Teaching Tool Based on Tableaux for Verification and Debugging of Algorithms. - Rafael del Vado Vírseda; Eva Pilar Orna; Eduardo Berbis; Saúl de León Guerrero (TICTTL, 2011)