1. Lukasiewicz, J. Aristotle’s Syllogistic from the Standpoint of Modern Formal Logic, Oxford, England, 1951.
2. Carroll, L., Symbolic Logic, London, Macmillan, 1896.
3. Brusentsov, N. P., Ischerpyvayuschee reshenie odnoj “neodolimoj” problemy paradoksov (Exhausting Solution of One “Intractable” Paradox Problem), Moscow, Fond Novoe Tysyacheletie, 2008.
4. Bessmertny, I.A., Intellektual’nye sistemy na produktsionnoy modeli znaniy (Intellectual Systems on a Production Knowledge Model), LAP Lambert Academic, 2012.
5. Sorace, J.M., Berman, J.J., Carnahan, G.E., and Moore, G.W., PRELOG: precedence logic inference software for blood donor deferral, Proc. Ann. Symp. Comput. Appl. Med. Care, 1991, pp. 976–977.