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 52, no. 2 (July 18, 2023): 239–266. Accessed July 23, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/14153.