Seymour Ginsburg Chang-jie Tang Canonical Forms for Interval Functions. 299-313 1987 54 Theor. Comput. Sci. db/journals/tcs/tcs54.html#GinsburgT87