@article{anovelframeworkforsystematic,
  title = {A novel framework for systematic propositional formula simplification based on existential graphs},
  author = {Jordina Francès de Mas and Juliana Bowles},
  year = {2024},
  eprint = {2405.17072},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2405.17072v1},
}