Planning for temporal extended goals (1998)

by F Kabanza Bacchus, F
Venue:Annals of Mathematics and Artificial Intelligence