сборника "Логическое программирование", выпущенного издательством "Мир". А.П. Ершов и В.Н. Агафонов были редакторами сборника.