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, 239-266.