Abstract
In this paper we study the problem of deciding whether a given DNF represents an interval function and if so then we also want to output the corresponding interval. This result is then extended to a 'renamable' variant of interval functions, i.e. to their variable complementation closure.