Clean Reversible Simulations of Ranking Binary Trees. - Yuhi Ohkubo; Tetsuo Yokoyama; Chishun Kanayama (Reversibility and Universality, 2018)