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