Non-expansive Fuzzy ALC. - Stefan Gebhart; Lutz Schröder; Paul Wild (CoRR, 2025)