Новиков Д. Я., Черемисинова Л. Д. ИМПЛИКАТИВНЫЙ МЕТОД АНАЛИЗА ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ. Информатика. 2012;(2(34)):79-86.