Doherty, Patrick, and Jonas Kvarnstram. 2001. “TALplanner: A Temporal Logic-Based Planner”. AI Magazine 22 (3):95. https://doi.org/10.1609/aimag.v22i3.1581.