О распознавании замещаемости в рекурсивных языках A.В. Гладкий; A.V. Gladkij; A.V. Gladkij; A.V. Gladkii; A.V. Gladkij — 1963 Algebra i Logika