1. “Theory of Problem Solving: an Approach to Artificial Intelligence,”;Banerji,1969
2. “Finite Graphs and Networks, an Introduction with Applications,”;Busacker,1965
3. An admissible and optimal algorithm for searching AND/OR graphs;Chang;Artif. Intelligence,1971