1. Problem-solving methods in artificial intelligence;Nilsson,1971
2. Toward a model of representation changes;Korf;Artificial Intelligence,1980
3. The sciences of the artificial;Simon,1981
4. Baalen J. Second Workshop on Change of Representation and Problem Reformulation, Menlo Park, CA, 1990.
5. A machine oriented logic based on the resolution principle;Robinson;J Acm,1965