1. CHEMILOG—A Logic Programming Language/System for Chemical Information Processing;Akutsu,1988
2. On Time andce and Decomposition of Complex Structures;Courtois;Communications of the ACM,1985
3. Mathematical Introduction to Logic;Enderlon,1972
4. A Model for Functional Reasoning in Design;Freeman,1977
5. An Intelligent Man-Machine System Based on KAUS for Designing Feedback Control Systems;Guan,1988