On the modeling of search in theorem proving—towards a theory of strategy analysis

A model and a first analysis of distributed-search contraction-based strategies

Annals of Mathematics and Artificial Intelligence

A taxonomy of parallel strategies for deduction

Annals of Mathematics and Artificial Intelligence

Analysis of Distributed-Search Contraction-Based Strategies

JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence

Towards a unified model of search in theorem-proving: subgoal-reduction strategies

Journal of Symbolic Computation

An overview of AI research in Italy

Artificial intelligence

A taxonomy of theorem-proving strategies

Artificial intelligence today

The strategy challenge in SMT solving

Automated Reasoning and Mathematics