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