Intuitionistic Gödel-Löb without Sharps. - Aguilera, Juan P.; Pacheco, Leonardo (ACM Transactions on Computational Logic, 2025)