P. Doherty and J. Kvarnstram, “TALplanner: A Temporal Logic-Based Planner”, AIMag, vol. 22, no. 3, p. 95, Sep. 2001.