Boxall, Gareth and Kestner, Charlotte ORCID: 0000-0001-8976-2981 (2017) The definable (p, q)-theorem for distal theories. The Journal of Symbolic Logic, 83 (12). pp. 123-127.
Penazzi, Davide ORCID: 0000-0002-9732-1577, Boxall, Gareth, Kestner, Charlotte ORCID: 0000-0001-8976-2981, Omar Aziz, Alexandra and Bradley-Williams, David (2013) Weak One-Basedness. Notre Dame Journal of Formal Logic, 54 (3-4). pp. 435-448.