There's a paper I wrote .. http://http.cs.berkeley.edu/~fateman/papers/interval.pdf and code is in a directory http://www.cs.berkeley.edu/~fateman/generic/ especially readme, ga.lisp, interval.lisp, and int4max.lisp