Presentation of Classical Propositional Tableaux on Program Design Premises. - Juan Michelini; Alvaro Tasistro (CoRR, 2015)