Bratchikov,: Application of Abstraction Method for Search of Logical Inference in Systems of Artificial Intelligence. SPIIRAS Proceedings 2(1), 253-262 (2002). doi:10.15622/sp.1.18