1. The Design and Analysis of Computer Algorithms;Aho,1974
2. An Application of the Theory of Computational Complexity to the Study of Inductive Inference;Angluin,1976
3. Constructing Programs from Example Computations;Biermann,1974
4. Toward a mathematical theory of inductive inference;Blum;Inform. Contr.,1975
5. The complexity of theorem-proving procedures;Cook,1971