Doherty, P., and J. Kvarnstram. “TALplanner: A Temporal Logic-Based Planner”. AI Magazine, vol. 22, no. 3, Sept. 2001, p. 95, doi:10.1609/aimag.v22i3.1581.