Spectra of finitely presented lattice-ordered Abelian groups and MV-algebras, part 1. - Vincenzo Marra; Daniel McNeill; Andrea Pedrini (TACL, 2013)

Spectra of finitely presented lattice-ordered Abelian groups and MV-algebras, part 2. - Vincenzo Marra; Daniel McNeill; Andrea Pedrini (TACL, 2013)

Tarski's theorem on intuitionistic logic, for polyhedra. - Nick Bezhanishvili; Vincenzo Marra; Daniel McNeill; Andrea Pedrini (Ann. Pure Appl. Log., 2018)