Henry A. Kautz James F. Allen Generalized Plan Recognition. 32-37 1986 AAAI db/conf/aaai/aaai86-1.html#KautzA86