Two first-order logics of permutations

Michael H. Albert, Mathilde Bouvel, Valentin Féray. Two first-order logics of permutations. Journal of Combinatorial Theory, Series A, 171, 2020. [doi]

Abstract

Abstract is missing.