Reasoning about actions & plans - Georgeff, Michael P. 1946-; Lansky, Amy L. 1955- (M. Kaufmann Publishers, 1987)