Claessen, Koen; Lillieström, Ann: Automated Inference of Finite Unsatisfiability. Journal of Automated Reasoning, 47 (2) pp. 111-132.

Claessen, Koen; Lillieström, Ann; Smallbone, Nicholas: Sort it out with monotonicity: translating between many-sorted and unsorted first-order logic. Lecture Notes in Computer Science, CADE'11 Proceedings of the 23rd international conference on Automated deduction, pp. 207-221. ISBN/ISSN: 978-3-642-22437-9