published by Yuri MATIYASEVICH
in Zapiski Nauchnykh Seminarov POMI AN SSSR,
vol.67, 1977, pages 167-183; MR 57, #3060.
Scanned pages
URL of my original Home page is
http://logic.pdmi.ras.ru/~yumat/index.html.
It has a mirror at
http://www.informatik.uni-stuttgart.de/ifi/ti/personen/Matiyasevich/index.html.
All comments can be
e-mailed
to me, Yuri Matiyasevich.