1. Turing, A., List of publications. https://scholar.google.com/citations?user=VWCHlwkAAAAJ.
2. Maslov, S.Yu., An inverse method of establishing deductibilities in the classical predicate calculus, Sov. Math.,
Dokl., 1965, vol. 5, pp. 1420–1424.
3. Maslov, S.Yu., Teoriya deduktivnykh sistem i ee primeneniya (Theory of Deductive Systems and Its Applications), Moskva: Radio i Svyaz’, 1986.
4. Robinson, J.A., A machine-oriented logic based on the resolution principle, J. ACM, 1965, vol. 12, no. 1, pp. 23–41. https://doi.org/10.1145/321250.321253
5. John McCarthy’s home page. http://www-formal. stanford.edu/jmc.