TY  - RPRT
TI  - A novel framework for systematic propositional formula simplification based on existential graphs
AU  - Jordina Francès de Mas
AU  - Juliana Bowles
PY  - 2024
DO  - 10.1017/s1471068424000140
UR  - https://arxiv.org/abs/2405.17072
ID  - 2405.17072
ER  -