1. E. L. Post, “Formal reductions of the general combinatorial decision problem,” Am. J. Math.,65, No. 2 (1943).
2. S. Yu. Maslov, “Derivation definition in general-type calculuses,” Proceedings of the Seminars at the Leningrad Division of the Mathematics Institute, Academy of Sciences of teh USSR [in Russian], Vol. 32 (1972).
3. S. Yu. Maslov, “Derivation theory and applications,” Kibernetika, No. 4 (1975).
4. G. S. Tseitin, “Derivation complexity in statement calculus,” Proceedings of the Seminars at the Leningrad Division of the Mathematics Institute, Academy of Sciences of the USSR [in Russian], Vol. 8 (1968).
5. V. N. Pushkin, Heuristics: Ths Science of Logical Thinking [in Russian], Politizdat, Moscow (1967).