Dioids for Computational Effects. - Ezequiel Postan; Exequiel Rivas; Mauro Jaskelioff (CLEI Selected Papers, 2017)

Partial Regularization of First-Order Resolution Proofs. - Jan Gorzny; Ezequiel Postan; Bruno Woltzenlogel Paleo (GCAI, 2020)

Lifting propositional proof compression algorithms to first-order logic. - Jan Gorzny; Ezequiel Postan; Bruno Woltzenlogel Paleo (J. Log. Comput., 2021)