Algorifm mašinnogo poiska estestvennogo logičeskogo vyvoda v isčislenii vyskazyvanij - Šanin, Nikolaj Aleksandrovič 1919- (Nauka, 1965)