Gheorghiu, A. V.; Pym, D. J. Definite Formulae, Negation-As-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic. B Sect Log 2023, 52 (2), 239-266. https://doi.org/10.18778/0138-0680.2023.16.