Вітюк, О. В. and Коломійцев, О. П.  (1998) Дослідження логічних виразів на істинність.  ВІСНИК Житомирського державного університету імені Івана Франка (2).  pp. 130-132.