@misc{indiciae04aac5922a22,
  title = {Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic},
  author = {José Espírito Santo and Ralph Matthes and Luís Pinto},
  year = {2025},
  url = {https://arxiv.org/abs/2007.16161},
  note = {Source identifier: 2007.16161}
}