Сироткин, А. В. Проверка и поддержание непротиворечивости алгебраических байесовских сетей: вычислительная сложность алгоритмов. ТС 2010, 4, 162-192.