Алгоритмы решения логико-комбинаторных задач: сборник научных трудов; Вып. 4 - Закревский А. Д. (Минск, Изд-во ИТК, 1978)