Doherty, P., & Kvarnstram, J. (2001). TALplanner: A Temporal Logic-Based Planner. AI Magazine, 22(3), 95. https://doi.org/10.1609/aimag.v22i3.1581