Dyck, Florian (2024) Interval Reasoning for C11 RAR. Masters, Carl von Ossietzky Universität Oldenburg.