Sort It Out with Monotonicity - Translating between Many-Sorted and Unsorted First-Order Logic. - Koen Claessen; Ann Lillieström; Nicholas Smallbone (CADE, 2011)

Automated Inference of Finite Unsatisfiability. - Koen Claessen; Ann Lillieström (J. Autom. Reason., 2011)

Alternative Treatments of Common Binary Relations in First-order Automated Reasoning. - Koen Claessen; Ann Lillieström (PAAR@IJCAR, 2016)

Inferring morphological rules from small examples using 0/1 linear programming. - Ann Lillieström; Koen Claessen; Nicholas Smallbone (NODALIDA, 2019)

Handling Transitive Relations in First-Order Automated Reasoning. - Koen Claessen; Ann Lillieström (J. Autom. Reason., 2021)