Gheorghiu, Alexander V., and David J. Pym. “Definite Formulae, Negation-As-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic”. Bulletin of the Section of Logic, vol. 52, no. 2, July 2023, pp. 239-66, doi:10.18778/0138-0680.2023.16.