Баркалов, А. А., Л. А. Титаренко, Я. Е. Визор, and А. В. Матвиенко. “Optimization of Block of Replacement of Logical Conditions in Combined Automation”. Problems of Informatization and Control, vol. 3, no. 55, Dec. 2016, pp. 11-20, doi:10.18372/2073-4751.3.11315.