Dongchen Jiang, Wei Li 0022. Revision with probability. Journal of Symbolic Computation, 80:87-100, 2017. [doi]
@article{JiangL17-0, title = {Revision with probability}, author = {Dongchen Jiang and Wei Li 0022}, year = {2017}, doi = {10.1016/j.jsc.2016.07.011}, url = {http://dx.doi.org/10.1016/j.jsc.2016.07.011}, researchr = {https://researchr.org/publication/JiangL17-0}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Computation}, volume = {80}, pages = {87-100}, }