The impact of CASC in the development of automated deduction systems: Guest-editorial

The state of CASC

AI Communications

Progress in the Development of Automated Theorem Proving for Higher-Order Logic

CADE-22 Proceedings of the 22nd International Conference on Automated Deduction

The TPTP Problem Library and Associated Infrastructure

Journal of Automated Reasoning

The TPTP world - infrastructure for automated reasoning

LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning

TPTP, TSTP, CASC, etc.

CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications