Planning and control - Dean, Thomas L. 1950 - (The Morgan Kaufmann series in representation and reasoning, 1991)