Barlatier, P.; Dapoigny, R. A Monadic Second-Order Version of Tarski’s Geometry of Solids. LLP 2023, 33, 55-99.