A Gap Trichotomy for Boolean Constraint Problems: Extending Schaefer's Theorem. - Lucy Ham (ISAAC, 2016)

All or Nothing: Toward a Promise Problem Dichotomy for Constraint Problems. - Lucy Ham; Marcel Jackson (CP, 2017)

Axiomatisability and hardness for universal Horn classes of hypergraphs. - Lucy Ham; Marcel Jackson (CoRR, 2017)

Relativised Homomorphism Preservation at the Finite Level. - Lucy Ham (Stud Logica, 2017)

Gap theorems for robust satisfiability: Boolean CSPs and beyond. - Lucy Ham (Theor. Comput. Sci., 2017)

Finite model theory for pseudovarieties and universal algebra: preservation, definability and complexity. - Lucy Ham; Marcel Jackson (CoRR, 2022)