Dana S. Nau Yue Cao Amnon Lotem Héctor Muñoz-Avila TALPlanner: A Temporal Logic-Based Planner. 91-64 2001 22 AI Magazine 3 db/journals/aim/aim22.html#NauCLM01