Barlatier, P. and Dapoigny, R. (2023) “A Monadic Second-Order Version of Tarski’s Geometry of Solids”, Logic and Logical Philosophy, 33(1), pp. 55–99. doi: 10.12775/LLP.2023.019.