@misc{indiciaefe18da9f9220,
  title = {Fixed-point elimination in the intuitionistic propositional calculus},
  author = {Silvio Ghilardi and Maria Joao Gouveia and Luigi Santocanale},
  year = {2016},
  url = {https://arxiv.org/abs/1601.00402},
  note = {Source identifier: 1601.00402}
}