Using goal structure to direct search in a problem solver. - Brian Austin Tate (1975)