An Application of Automated Equational Reasoning to Many-valued Logic

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

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

Automated deduction for many-valued logics

Handbook of automated reasoning

An overview of AI research in Italy

Artificial intelligence

A taxonomy of theorem-proving strategies

Artificial intelligence today

(Dual) hoops have unique halving

Automated Reasoning and Mathematics