1. D. Angluin, Inductive inference of formal languages from positive data, Information and Control 45, 117–135, 1980.
2. D. Angluin, C.H. Smith, Inductive inference: theory and methods, Computing Surveys 15, 237–269, 1983.
3. H. Chen, J. Hsiang, H.-C. Kong, On finite representations of infinite sets of terms, in Proc. of the Second International Workshop on Typed and Conditional Rewrite Systems, Montreal 1990, Lecture Notes in Computer Science 516, 100–114, Springer-Verlag, 1990.
4. N. Dershowitz, Synthesis by completion, in Proc. 9th International Joint Conference on Artificial Intelligence, Los Angeles, CA, 1985.
5. N. Dershowitz, E. Pinchover, Inductive synthesis of equational programs, in Proc. of AIII-90, 1990.