@article{Theitlin_2000 author = {Georgiy E. Theitlin and Grigoriy V. Yusim}, title = {Development of Algebraic Fundamentals of Algorithmic Logic and Promising Information Technologies}, journal = {Journal of Automation and Information Sciences}, issn = {1064-2315}, year = {2000}, volume = {32}, number = {3}, pages = {67--72} }