A short note on some tractable cases of the satisfiability problem

On functional dependencies in q-Horn theories

Artificial Intelligence

A perspective on certain polynomial-time solvable classes of satisfiability

Discrete Applied Mathematics

Lean clause-sets: generalizations of minimally unsatisfiable clause-sets

Discrete Applied Mathematics - The renesse issue on satisfiability

On Exact Selection of Minimally Unsatisfiable Subformulae

Annals of Mathematics and Artificial Intelligence

Generalising Unit-Refutation Completeness and SLUR via Nested Input Resolution

Journal of Automated Reasoning