Bettina Just Friedhelm Meyer auf der Heide Avi Wigderson On Computations with Integer Division. 29-37 1988 conf/stacs/1988 STACS db/conf/stacs/stacs88.html#JustHW88 http://dx.doi.org/10.1007/BFb0035829