1. Cheng, J.: A relevant logic approach to automated theorem finding. In: The Workshop on Automated Theorem Proving attached to International Symposium on Fifth Generation Computer Systems, pp. 8–15 (1994)
2. Cheng, J.: Entailment calculus as the logical basis of automated theorem finding in scientific discovery. In: Systematic Methods of Scientific Discovery: Papers from the 1995 Spring Symposium, AAAI Press - American Association for Artificial Intelligence, pp. 105–110 (1995)
3. Cheng, J.: A strong relevant logic model of epistemic processes in scientific discovery. In: Information Modelling and Knowledge Bases XI, Frontiers in Artificial Intelligence and Applications, vol. 61, pp. 136–159. IOS Press (2000)
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);J Cheng,2007
5. Colton, S.: Automated theorem discovery: a future direction for theorem provers. In: Proceedings of 1st Automated Reasoning: International Joint Conference, Workshop on Future Directions in Automated Reasoning, pp. 38–47 (2001)