Josh D. Tenenberg Planning with Abstraction. 76-80 1986 AAAI db/conf/aaai/aaai86-1.html#Tenenberg86