Tobias Müller Martin Müller Finite Set Intervals in Oz. 17-19 1997 WLP db/conf/wlp/wlp97.html#MullerM97