On-line Planning (Automatic Computation) by Harold Sackman, R. Citrenbaum