Aubert, C., et al.. How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-preserving Bisimulation. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Aug. 2020, doi:10.4230/lipics.concur.2020.7.