A. V. Gheorghiu and D. J. Pym, “Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic”, B Sect Log, vol. 52, no. 2, pp. 239–266, Jul. 2023.