Sergey S. Fedin, Alexander S. Kulikov. Automated Proofs of Upper Bounds on the Running Time of Splitting Algorithms. In Rodney G. Downey, Michael R. Fellows, Frank K. H. A. Dehne, editors, Parameterized and Exact Computation, First International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004, Proceedings. Volume 3162 of Lecture Notes in Computer Science, pages 248-259, Springer, 2004. [doi]
Abstract is missing.