Peszek, A., et al.. On the Relationship Between Matiyasevich's and Smorynski's Theorems. Scientific Annals of Computer Science, Sept. 2019, doi:10.7561/sacs.2019.1.101.