This author has not been identified. Look up 'Sergei N. Artëmov' in GoogleThis author has not been identified. Look up 'Yuri Matiyasevich' in GoogleThis author has not been identified. Look up 'Grigori Mints' in GoogleThis author has not been identified. Look up 'Anatol Slissenko' in Google