1. Langley, P. W., Simon, H. A., Bradshaw, G. L. and Zytkow, J. M.: Scientific Discovery; Computational Explorations of the Creative Process, MIT Press, Cambridge, Massachusetts (1987)
2. Koehn, B. and Zytkow, J. M.: Experimenting and theorizing in theory formation. In Proceedings of the International Symposium on Methodologies for Intelligent Systems, ACM SIGART Press (1986) 296–307
3. Falkenhainer, Br. C. and Michalski, R. S.: Integrating Quantitative and Qualitative Discovery: The ABACUS System. In Machine Learning, Boston, Kluwer Academic Publishers (1986) 367–401
4. Kokar, M. M.: Determining Arguments of Invariant Functional Descriptions. In Machine Learning, Boston, Kluwer Academic Publishers (1986) 403–422
5. Washio, T. and Motoda, H.: Discovering Admissible Models of Complex Systems Based on Scale-Types and Identity Constraints, In Proceedings of IJCAI’97, Vol.2, Nagoya (1997) 810–817