Калядин, Н. И. МИНИМИЗАЦИЯ ПРЕДСТАВЛЕНИЯ ПРЕДИКАТНЫХ ФОРМ В КОНЕЧНЫХ МОДЕЛЯХ. Вестн. Ижевск. гос. тех. унив. 2012, 137-142.