Franz Baader, und Filippo De Bortoli. Logics with Concrete Domains: First-Order Properties, Abstract Expressive Power, and (Un)Decidability. SIGAPP Appl. Comput. Rev., (24)3:5–17, Association for Computing Machinery, New York, NY, USA, 08.10.2024. [PUMA: imported from:scadsfct] URL