1. On the Inference of Turing Machines from Sample Computations;Biermann;Artificial Intelligence,1972
2. Fundamental Mechanisms in Machine Learning and Inductive Inference;Biermann,1986
3. Compiling Control;Bruynooghe;Proceedings of the Third International Symposium on Logic Programming,1986
4. Deduction Revision by Intelligent Backtracking;Bruynooghe,1984
5. A Transformation System for Developing Recursive Programs;Burstall;J. Assoc. Comput. Mach.,1977