Гаранина Н.О., Сидорова Е.А. Метод верификации семейства мультиагентных систем разрешения неоднозначности // № 8, 2016