“…A natural solution consists of augmenting D in such a way to simulate the behaviour of an infinite domain model. In our example, it suffices to consider D = {−2, −1, 0, 1, 2, 3, 4, 5}, so that a single split may be based on the rule: L f ever → C1, otherwise C2 holding on [−2, −1] (or, equivalently, its inverse formulation on [4,5]). Thus, the function AssignReferenceIntervals, while searching all possible reference intervals, takes into consideration two extra points at each side of the domain.…”