Carsten Sinz, Jörg Denzinger, Jürgen Avenhaus, Wolfgang Küchlin. Combining Parallel and Distributed Search in Automated Equational Deduction. In Roman Wyrzykowski, Jack Dongarra, Marcin Paprzycki, Jerzy Wasniewski, editors, Parallel Processing and Applied Mathematics, 4th International Conference, PPAM 2001 Naleczow, Poland, September 9-12, 2001, Revised Papers. Volume 2328 of Lecture Notes in Computer Science, pages 819-832, Springer, 2001. [doi]
Abstract is missing.