Yishay Mansour Baruch Schieber Prasoon Tiwari Lower Bounds for Computations with the Floor Operation. 315-327 1991 20 SIAM J. Comput. 2 db/journals/siamcomp/siamcomp20.html#MansourST91 http://dx.doi.org/10.1137/0220020