Two Decision Procedures for da Costa's Cn Logics Based on Restricted Nmatrix Semantics. - Marcelo E. Coniglio; Guilherme Vicentin de Toledo (Stud Logica, 2022)

Combining Combination Properties: An Analysis of Stable Infiniteness, Convexity, and Politeness. - Guilherme Vicentin de Toledo; Yoni Zohar; Clark W. Barrett (CADE, 2023)

Combining Finite Combination Properties: Finite Models and Busy Beavers. - Guilherme Vicentin de Toledo; Yoni Zohar; Clark W. Barrett (FroCoS, 2023)

The Nonexistence of Unicorns and Many-Sorted Löwenheim-Skolem Theorems. - Benjamin Przybocki; Guilherme Vicentin de Toledo; Yoni Zohar; Clark W. Barrett (FM (1), 2024)

Combining Combination Properties: Minimal Models. - Guilherme Vicentin de Toledo; Yoni Zohar (LPAR, 2024)

Being Polite Is Not Enough (and Other Limits of Theory Combination). - Guilherme Vicentin de Toledo; Benjamin Przybocki; Yoni Zohar (CADE, 2025)

Number theory combination: natural density and SMT. - Guilherme Vicentin de Toledo; Yoni Zohar (CoRR, 2025)

Shininess, strong politeness, and unicorns. - Benjamin Przybocki; Guilherme Vicentin de Toledo; Yoni Zohar (CoRR, 2025)