Knowledge Programming in Loops - Stefik, M; Bobrow, D. G; Mittal, S; Conway, L (Artif. Intell. Mag, 1983)