Mechanical theorem proving in the USSR the Leningrad school - Lifschitz, Vladimir (Monograph series on Soviet Union, 1986)