Diane J. Cook, Charles Hannon. Adaptive Parallel Search for Theorem Proving. In Amruth N. Kumar, Ingrid Russell, editors, Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference, May 1-5, 1999, Orlando, Florida, USA. pages 351-355, AAAI Press, 1999.
Abstract is missing.