Doherty, Patrick, and Jonas Kvarnstram. “TALplanner: A Temporal Logic-Based Planner”. AI Magazine 22, no. 3 (September 15, 2001): 95. Accessed March 29, 2024. https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/1581.