doi dblpProblem solving techniques for the design of algorithmsElaine Kant | Allen Newell1984 Volume 20 Issue 1-2