1. Arkoudas, K., & Bringsjord, S. (2007). Computers, Justification, and Mathematical Knowledge. Minds and Machines, 17(2), 185–202.
http://kryten.mm.rpi.edu/ka_sb_proofs_offprint.pdf
.
2. Benzmüller, C., & Paleo, B.W. (2014). Automating Gödel’s Ontological Proof of God’s Existence with Higher-order Automated Theorem Provers. In Schaub, T., Friedrich, G., O’Sullivan, B. (Eds.) Proceedings of the European Conference on Artificial Intelligence 2014 (ECAI 2014).
http://page.mi.fu-berlin.de/cbenzmueller/papers/C40.pdf
(pp. 93–98). Amsterdam: IOS Press.
3. Boolos, G.S., Burgess, J.P., Jeffrey, R.C. (2003). Computability and Logic, 4th edn. Cambridge: Cambridge University Press.
4. Bringsjord, S. (2015). A Vindication of Program Verification. History and Philosophy of Logic, 36(3), 262–277.
http://kryten.mm.rpi.edu/SB_progver_selfref_driver_final2_060215.pdf
. This url goes to a preprint.
5. Bringsjord, S. (2018a). Introducing Pure General Logic Programming (PGLP). Paris: Agence Nationale de la Recherche (ANR).
http://kryten.mm.rpi.edu/PRES/SBringsjord_PGLP_Bertinoro.pdf
. The URL provided here goes to the slide deck for the lecture in which PGLP was introduced. In Bertinoro, Italy, at the conference center there owned by the University of Bologna. The deck provides details on PGLP.