1. Bratchikov Application of Abstraction Method for Search of Logical Inference in Systems of Artificial Intelligence // SPIIRAS Proceedings. 2002. № 1 (2). C. 253-262.