Doherty, P.; Kvarnstram, J. TALplanner: A Temporal Logic-Based Planner. AIMag 2001, 22, 95.