TY  - RPRT
TI  - How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation
AU  - Clément Aubert
AU  - Ioana Cristescu
PY  - 2020
UR  - https://arxiv.org/abs/2005.06814
ID  - 2005.06814
ER  -