Hans W. Scholten Mark H. Overmars General Methods for Adding Range Restrictions to Decomposable Searching Problems. 1-10 1989 7 J. Symb. Comput. 1 db/journals/jsc/jsc7.html#ScholtenO89