1. Without Loss of Satisfaction;Theoretical Aspects of Computing – ICTAC 2023;2023
2. A tetrachotomy of ontology-mediated queries with a covering axiom;Artificial Intelligence;2022-08
3. Guest Column;ACM SIGACT News;2022-04-18
4. Chapter 7. Proof Complexity and SAT Solving;Frontiers in Artificial Intelligence and Applications;2021-02-02
5. On Tseitin Formulas, Read-Once Branching Programs and Treewidth;Theory of Computing Systems;2020-10-09