@misc{indiciae03632017bd73,
  title = {Terminating Calculi for Propositional Dummett Logic with Subformula Property},
  author = {Guido Fiorino},
  year = {2012},
  url = {https://arxiv.org/abs/1206.4458},
  note = {Source identifier: 1206.4458}
}