Authors: ATAYAN VV MOROKHOVETS MK

Citation: Vv. Atayan et Mk. Morokhovets, COMBINING FORMAL DERIVATION SEARCH PROCEDURES AND NATURAL THEOREM-PROVING TECHNIQUES IN AN AUTOMATED THEOREM-PROVING SYSTEM, Cybernetics and systems analysis, 32(3), 1996, pp. 442-465