Варламов О.О., Чибирова М.О., Сергушин Г.С., Елисеев Д.В. Практическая реализация универсального решателя задач "УДАВ" с линейной сложностью логического вывода на основе миварного подхода и "облачных" технологий