Одноетапна М-модель з імовірнісними обмеженнями. Розв’язувальні правила. Узагальнення для скінченнозначних обмежень (без доведення).: Історія змін
Матеріал з Вікі ЦДУ
Пояснення: (поточн.) = відмінності від поточної версії, (ост.) = відмінності від попередньої версії, м = незначне редагування