Automated planner developed for the Shakey robot at SRI.
Sources: The Quest for Artificial Intelligence: A History of Ideas and Achievements, A Formal Basis for the Heuristic Determination of Minimum Cost Paths