Peirce's Rule in a Full Natural Deduction System. - Vaston G. Costa; Wagner Sanz; Edward Hermann Haeusler; Luiz Carlos Pereira (LSFA, 2009)

A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic. - Luiz Carlos Pereira; Edward Hermann Haeusler; Vaston G. Costa; Wagner Sanz (Stud Logica, 2010)

Proof-search, analytic tableaux, models and counter-models, in Hypo constructive semantics for Minimal and Intuitionistic Propositional Logic. - Wagner Sanz (FLAP, 2022)

Euclid Machines. - Wagner Sanz; Petrucio Viana (Stud Logica, 2025)