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 (Jul. 2023), 239–266. DOI:https://doi.org/10.18778/0138-0680.2023.16.