P. Barlatier and R. Dapoigny, “A Monadic Second-Order Version of Tarski’s Geometry of Solids”, LLP, vol. 33, no. 1, pp. 55–99, Oct. 2023.