Gheorghiu, A.V. and Pym, D.J. (2023) “Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic”, Bulletin of the Section of Logic, 52(2), pp. 239–266. doi:10.18778/0138-0680.2023.16.