Title: Algorifm mashinnogo poiska estestvennogo logicheskogo vyvoda v ischislenii vyskazyvaniĭ
Subjects: Algorithms, Symbolic and mathematical Logic