Celebratio Mathematica

J. Mati­jasevič and D. Robin­son: “Two uni­ver­sal three-quan­ti­fi­er rep­res­ent­a­tions of enu­mer­able sets,” pp. 112–​123 in Teop­iya al­gor­i­f­mov i matem­aticheskaya lo­gika [The­ory of al­gorithms, and math­em­at­ic­al lo­gic]. Edi­ted by B. A. Kush­ner and N. M. Nagorny. Com­put­ing Cen­ter of the Academy of Sci­ences (Mo­scow), 1974. Volume ded­ic­ated to A. A. Markov on the oc­ca­sion of his sev­en­ti­eth birth­day. MR 406780 Zbl 0327.​02035 incollection

Y. Mati­jasevič and J. Robin­son: “Re­duc­tion of an ar­bit­rary Di­o­phant­ine equa­tion to one in 13 un­knowns,” Acta Arith. 27 (1975), pp. 521–​553. MR 387188 Zbl 0279.​10019 article

M. Dav­is, Y. Mati­jasevič, and J. Robin­son: “Hil­bert’s tenth prob­lem: Di­o­phant­ine equa­tions: Pos­it­ive as­pects of a neg­at­ive solu­tion,” pp. 323–​378 in Math­em­at­ic­al de­vel­op­ments arising from Hil­bert prob­lems (DeKalb, IL, 13–17 May 1974), Part 2. Edi­ted by F. E. Browder. Pro­ceed­ings of Sym­po­sia in Pure Math­em­at­ics 28. 1976. With a loose-leaf er­rat­um. MR 432534 Zbl 0346.​02026 incollection