@misc{indiciae7611c0793208,
  title = {A novel framework for systematic propositional formula simplification based on existential graphs},
  author = {Jordina Francès de Mas and Juliana Bowles},
  year = {2024},
  doi = {10.1017/s1471068424000140},
  url = {https://arxiv.org/abs/2405.17072},
  note = {Source identifier: 2405.17072}
}