Gheorghiu AV, Pym DJ. Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic. B Sect Log [Internet]. 2023 Jul. 18 [cited 2024 Jul. 23];52(2):239-66. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/14153