@misc{indiciaeef02588cd324,
  title = {A Logic with Reverse Modalities for History-preserving Bisimulations},
  author = {Iain Phillips and Irek Ulidowski},
  year = {2011},
  doi = {10.4204/eptcs.64.8},
  url = {https://arxiv.org/abs/1108.4470},
  note = {Source identifier: 1108.4470}
}