RC22602 (W0210-130) October 23, 2002 Computer Science IBM Research Report (2002)

by Eric Van Hensbergen , Freeman L. Rawson