Problem solving tactics - Sacerdoti, ED (AI Magazine, 1980)
81