@misc{indiciaed0db5ae37d7e,
  title = {Proving Soundness of Extensional Normal-Form Bisimilarities},
  author = {Dariusz Biernacki and Serguei Lenglet and Piotr Polesiuk},
  year = {2019},
  doi = {10.23638/lmcs-15(1:31)2019},
  url = {https://arxiv.org/abs/1711.00113},
  note = {Source identifier: 1711.00113}
}