State-space, problem-reduction, and theorem proving—Some relationships