Yuri Gurevich. Reversify any sequential algorithm. Bulletin of the EATCS, 134, 2021. [doi]
@article{Gurevich21a, title = {Reversify any sequential algorithm}, author = {Yuri Gurevich}, year = {2021}, url = {http://bulletin.eatcs.org/index.php/beatcs/article/view/656}, researchr = {https://researchr.org/publication/Gurevich21a}, cites = {0}, citedby = {0}, journal = {Bulletin of the EATCS}, volume = {134}, }