Richard E. Fikes, Peter E. Hart, Bertram Raphael. Themes in automatic problem solving. IEEE Computer, 6(5):11-18, 1973. [doi]
@article{FikesHR73, title = {Themes in automatic problem solving}, author = {Richard E. Fikes and Peter E. Hart and Bertram Raphael}, year = {1973}, doi = {10.1109/MC.1973.6536713}, url = {http://dx.doi.org/10.1109/MC.1973.6536713}, researchr = {https://researchr.org/publication/FikesHR73}, cites = {0}, citedby = {0}, journal = {IEEE Computer}, volume = {6}, number = {5}, pages = {11-18}, }