Using goal structure to direct search in a problem solver (1975)

by A Tate