Lytvyn, V. V., I. O. Bobyk, and V. A. Vysotska. 2017. “APPLICATION OF ALGORITHMIC ALGEBRA SYSTEM FOR GRAMMATICAL ANALYSIS OF SYMBOLIC COMPUTATION EXPRESSIONS OF PROPOSITIONAL LOGIC”. Radio Electronics, Computer Science, Control, no. 4 (January). https://doi.org/10.15588/1607-3274-2016-4-10.