1. Chang, C.-L. and Lee, R.C.-T., Symbolic Logic and Mechanical Theorem Proving, New York: Academic, 1973.
2. Kutepov, V.P. and Fal’k, V.N., Theory of directed relations and logic, J. Comput. Syst. Sci. Int., 2000, vol. 39, pp. 685–702.
3. Kalas, A.C., Kowalski, R.A., and Toni, F., The Role of Abduction in Logic Programming. Handbook of Logic in Artificial Intelligence and Logic Programming, Oxford University, 1998, pp. 235–324.
4. Bonacina, M.P., A taxonomy of parallel strategies for deduction, Ann. Math. Art. Intel., 1999, vol. 29, pp. 223–257.
5. Vagin, V.N., Golovina, E.Yu., Zagoryanskaya, A.A., and Fomina, M.V., Dostovernyi i pravdopodobnyi vyvod v intellektual’nykh sistemakh, (The Trustworthy and Plausible Conclusion in Intellectual Systems), 2nd ed., Moscow: FIZMATLIT, 2008.