Kuznets, R., Marin, S., & Straßburger, L. (2021). Justification logic for constructive modal logic. Journal of Applied Logics, 8(8), 2313–2332. https://doi.org/10.34726/2943 ( reposiTUm)

Sauras Altuzarra, L. (2019, September 26). Hilbert’s 10th problem [Conference Presentation]. 15th International Tbilisi Summer School in Logic and Language, I.J.Tbilisi State University, Georgia. http://hdl.handle.net/20.500.12708/154209 ( reposiTUm)