Ditchev, A. (1993). Examples of structures which do not admit recursive presentations. Ann. Sofia Univ. Fac. Math. And Inf., 85, 3–11. Retrieved from https://ftl5.uni-sofia.bg/index.php/fmi/article/view/448