First-order logics: some characterizations and closure properties

Christian Choffrut, Andreas Malcher, Carlo Mereghetti, Beatrice Palano. First-order logics: some characterizations and closure properties. Acta Informatica, 49(4):225-248, 2012. [doi]

Abstract

Abstract is missing.