Lytvyn, V. V., I. O. Bobyk, and V. A. Vysotska. “APPLICATION OF ALGORITHMIC ALGEBRA SYSTEM FOR GRAMMATICAL ANALYSIS OF SYMBOLIC COMPUTATION EXPRESSIONS OF PROPOSITIONAL LOGIC”. Radio Electronics, Computer Science, Control, no. 4 (January 20, 2017). Accessed July 23, 2024. http://ric.zntu.edu.ua/article/view/90603.