A Novel EGs-Based Framework for Systematic Propositional-Formula Simplification. - Jordina Francès de Mas; Juliana Bowles (LOPSTR, 2023)

Binary Implication Hypergraphs for the Representation and Simplification of Propositional Formulae. - Jordina Francès de Mas (LOPSTR, 2024)

A Novel Framework for Systematic Propositional Formula Simplification Based on Existential Graphs. - Jordina Francès de Mas; Juliana Bowles (Theory Pract. Log. Program., 2025)