Finite approach to the problem of optimization of theorem-proving algorithms
A. O. Slisenko

This publication is cited in the following articles:

1. A. O. Slisenko, “Complexity problems in computational theory”, Russian Math. Surveys, 36:6 (1981), 23–125