В. И. Осипов, “Монотонные булевы функции и несовместные системы неравенств”, Ж. вычисл. матем. и матем. физ., 26:10 (1986), 1592–1596; V. I. Osipov, “Monotone Boolean functions and incompatible systems of inequalities”, U.S.S.R. Comput. Math. Math. Phys., 26:5 (1986), 211–214