Contents
Introduction
Motivations and Aims
Compositional ATP Systems
CCCP ATP Systems
CSSCPA
Three Design Issues
Three Design Options
Design
Implementation
Performance
Conclusion
