Peter Cheeseman Bob Kanefsky William M. Taylor Where the Really Hard Problems Are. 331-340 1991 IJCAI db/conf/ijcai/ijcai91.html#CheesemanKT91