Symmetric explanation learning: Effective dynamic symmetry handling for SAT Theory and Applications of Satisfiability Testing - SAT 2017, Proceedings, p. 83-100, 2017.

Propagators and Solvers for the Algebra of Modular Systems Proceedings of the 21st International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-21), p. 227-248, 2017.

SAT-to-SAT in QBFEval 2016 Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016), p. 63-70, 2016.

On Well-Founded Set-Inductions and Locally Monotone Operators ACM Transactions on Computational Logic Volume 17 Issue 4, p. 27:1-27:32, 2016.

BreakID: Static Symmetry Breaking for ASP Proceedings of the ninth workshop on answer set programming and other computing paradigms, p. 25-39, 2016.

Implementing a Relevance Tracker Module Proceedings of the ninth workshop on answer set programming and other computing paradigms, p. 77-91, 2016.

Bootstrapping Inference in the IDP Knowledge Base System New Generation Computing Volume 34, Number 3, p. 193-220, 2016.

A Compositional Framework for Building Typed Higher-Order Logics Technical communications of ICLP, p. 14.1-14.14, 2016.

Stable-Unstable Semantics: Beyond NP with Normal Logic Programs Theory and Practice of Logic Programming Volume 16, Number 5-6, p. 570-586, 2016.

On Local Domain Symmetry for Model Expansion Theory and Practice of Logic Programming Volume 16, Number 5-6, p. 632-652, 2016.

Distributed Autoepistemic Logic and its Application to Access Control Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI), p. 1286-1292, 2016.

Relevance for SAT(ID) Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI), p. 596-602, 2016.

Improved Static Symmetry Breaking for SAT Theory and Applications of Satisfiability Testing - SAT 2016, Proceedings, p. 104-122, 2016.

Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3 Theory and Practice of Logic Programming Volume 15, Number 6, p. 783-817, 2015.

Knowledge Compilation of Logic Programs Using Approximation Fixpoint Theory Theory and Practice of Logic Programming Volume 15, Number 4-5, p. 464-480, 2015.

Partial Grounded Fixpoints Proceedings of the twenty-fourth international conference on artificial intelligence (IJCAI), p. 2784-2790, 2015.

Meta-level Representations in the IDP Knowledge Base System: Towards Bootstrapping Inference Engine Development Workshop on Logic and Search - LaSh, 2014.

BreakIDGlucose: On The Importance of Row Symmetry in SAT Fourth International Workshop on the Cross-Fertilization Between CSP and SAT (CSPSAT), 1-17, 2014.

Inference in the FO(C) Modelling Language European Conference on Artificial Intelligence (ECAI), p. 111-116, 2014.

FO(C) and Related Modelling Paradigms 15th International Workshop on Non-Monotonic Reasoning, p. 90-96, 2014.

Analyzing Manuscript Traditions Using Constraint-Based Data Mining First Workshop on Combining Constraint Solving with Mining and Learning, 2012.