Problem solving methods (1971)

by N J Nilsson
Venue:in AI. McGraw-Hill