Reasoning about plans - Allen, James, 1950- (Morgan Kaufmann series in representation and reasoning., 1991)