А. С. Куликов, С. С. Федин, “Автоматические доказательства верхних оценок на время работы алгоритмов расщепления”, Теория сложности вычислений. IX, Зап. научн. сем. ПОМИ, 316, ПОМИ, СПб., 2004, 111–128 ; A. S. Kulikov, S. S. Fedin, “Automated proofs of upper bounds on the running time of splitting algorithms”, J. Math. Sci. (N. Y.), 134:5 (2006), 2383–2391
Fedin S.S., Kulikov A.S., “Automated proofs of upper bounds on the running time of splitting algorithms”, Parameterized and Exact Computation, Proceedings, Lecture Notes in Computer Science, 3162, 2004, 248–259