In this book we present the design and implementation of KEMS, a multi-strategy theorem prover ba...

This book constitutes revised selected papers from the 8th Brazilian Workshop on Agile Methods, W...