1. On the synthesis of finite-state machines from samples of their behavior;Biermann;IEEE Transactions of Computers,1972
2. Cohen, W. (in press). Explanation tactic learning: a broader view.
3. Cohen, W. (1987). A Technique for Generalizing Number in Explanation-Based Learning (Technical Report ML–TR–19). New Brunswick, NJ: Rutgers University, Department of Computer Science.
4. Ellman, T. (1985). Generalizing logic circuit designs by analyzing proofs of correctness. In Proceedings of the Ninth International Joint Conference on Artifical Intelligence (pp. 643–646). Los Angelos, CA: Morgan Kaufmann.
5. Hirsh, H. (1987). Explanation-based generalization in a logic-programming environment. In Proceedings of the Tenth International Joint Conference on Artifical Intelligence (pp. 221–227). Milan, Italy: Morgan Kaufmann.