1. An Introduction to Automated Process Planning Systems;Chang,1985
2. Artificial Intelligence;Rich,1983
3. Application of Therom Proving to Problem Solving;Green;IJCAI,1969
4. Problem Solving Methods in Artificial Intelligence;Nilsson,1971
5. CAPP — CAM-I Automated Process Planning System;Link,1976