Diane J. Cook, Charles Hannon: Adaptive Parallel Search for Theorem Proving. FLAIRS 1999: 351-355