TALplanner: A temporal logic based forward chaining planner (2001)

by J Kvarnstrom, P Doherty
Venue:Annals of Mathematics and Artificial Intelligence