1. Diagrammatic Algebra of First Order Logic;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. Iconic logic: the visual art of drawing the right conclusion;Frontiers in Psychology;2024-06-07
3. Binary Implication Hypergraphs for the Representation and Simplification of Propositional Formulae;Lecture Notes in Computer Science;2024
4. Implicational Existential Graphs;Lecture Notes in Computer Science;2024
5. P;Enzyklopädie Philosophie und Wissenschaftstheorie;2024