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