A note on the size of minimal covers. - Vaston G. Costa; Edward Hermann Haeusler; Eduardo Sany Laber; Loana Tito Nogueira (Inf. Process. Lett., 2007)

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)

Non-Functional Requirements for Quantum Programs. - Lorenzo Saraiva; Edward Hermann Haeusler; Vaston G. Costa; Marcos Kalinowski (Q-SET@QCE, 2021)

Quantum Algorithm for Multiplicative Linear Logic. - Lorenzo Saraiva; Edward Hermann Haeusler; Vaston G. Costa (CoRR, 2023)