An Introduction to Least Commitment Planning
Introduction to Algorithms