“Increasing Precision of Division Property”, ToSC, vol. 2020, no. 4, pp. 173–194, Dec. 2020, doi: 10.46586/tosc.v2020.i4.173-194.