V. V. Lytvyn, I. O. Bobyk, and V. A. Vysotska, “APPLICATION OF ALGORITHMIC ALGEBRA SYSTEM FOR GRAMMATICAL ANALYSIS OF SYMBOLIC COMPUTATION EXPRESSIONS OF PROPOSITIONAL LOGIC”, RIC, no. 4, Jan. 2017.