Automated Proofs of Upper Bounds on the Running Time of Splitting Algorithms. - Sergey S. Fedin; Alexander S. Kulikov (IWPEC, 2004)