A Logic Teaching Tool Based on Tableaux for Verification and Debugging of Algorithms | Publicación