Kosovskaya, Tatiana. “Some Artificial Intelligence Problems Permitting Formalization by Means of Predicate Calculus Language and Upper Bounds of Their Solution Steps”. SPIIRAS Proceedings 3, no. 14 (September 1, 2010): 58-75. Accessed May 19, 2024. http://ia.spcras.ru/index.php/sp/article/view/1506.