Research in Progress at the Artificial Intelligence Center, SRI International. - Peter E. Hart; Earl D. Sacerdoti; Charles Untulis (AI Mag., 1980)