Jens Christensen Richard E. Korf A Unified Theory of Heuristic Evaluation Functions and its Application to Learning. 148-152 1986 AAAI db/conf/aaai/aaai86-1.html#ChristensenK86