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