1. Kalyaev, I.A., Lokhin, V.M., Makarov, I.M., Man’ko, S.V., Romanov, M.P., and Yurevich, E.I., Intellektual’nye roboty (Intelligent Robots), Moscow: Mashinostroenie, 2007.
2. Makarov, I.M., Lokhin, V.M., Man’ko, S.V., and Romanov, M.P., Iskusstvennyi intellekt i intellektual’nye sistemy upravleniya (Artificial Intelligence and Intelligent Control Systems), Moscow: Nauka, 2006.
3. Robinson, J.A., A machine-oriented logic based on resolution principle, J. ACM, 1965, no. 12, pp. 23–41.
4. Chang, C. and Lee, R., Symbolic Logic and Mechanical Theorem Proving, New York: Academic, 1973.
5. Maslov, S.Yu., Teoriya deduktivnykh sistem i ee primeneniya (Theory of Deductive Systems and Its Applications), Moscow: Radio i Svyaz’, 1986.