@misc{indiciae79a1a879aaab,
  title = {Fixed-point elimination in the Intuitionistic Propositional Calculus (extended version)},
  author = {Silvio Ghilardi and Maria Joao Gouveia and Luigi Santocanale},
  year = {2018},
  url = {https://arxiv.org/abs/1803.01552},
  note = {Source identifier: 1803.01552}
}